Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Research output
-
Convex Lattice Equation Systems
Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science+Business Media, p. 438-455 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13660 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
Active Learning of Markov Decision Processes using Baum-Welch algorithm
Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (eds.). IEEE, p. 1203-1208 6 p. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
3 Citations (Scopus) -
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2 Feb 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-36 9.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access5 Citations (Scopus) -
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-14 14 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
3 Citations (Scopus) -
Optimal and robust controller synthesis using energy timed automata with uncertainty
Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P-A., 2021, In: Formal Aspects of Computing. 33, 1, p. 3-25 23 p.Research output: Contribution to journal › Journal article › Research › peer-review
6 Citations (Scopus)
Prizes
-
Best Paper Award
Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Markey, Nicolas (Recipient), Bouyer, Patricia (Recipient), Fahrenberg, Uli (Recipient) & Reynier, Pierre-Alain (Recipient), 17 Jul 2018
Prize: Conference prizes
Activities
- 2 Series editor
-
KiMfest (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
KiMfest 2017 (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Iulian Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research