If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 5 Similar Profiles
Markov processes Engineering & Materials Science
Markov chain Mathematics
Axiomatization Mathematics
Metric Mathematics
Deduction Mathematics
Branching Mathematics
Computability and decidability Engineering & Materials Science
Approximately equal Mathematics

Network Dive into details by clicking on the dots.

Research Output 2013 2019

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Branching
Markov chain
Semantics
Linear Time
1 Citation (Scopus)
50 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction
1 Citation (Scopus)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Random variables
Experiments
Uncertainty
1 Citation (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., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10951 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Computability and decidability
Hydraulics
Pumps
Controllers
Uncertainty
Open Access
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic

Prizes

Best Paper Award

Giovanni Bacci (Recipient), Kim Guldstrand Larsen (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018

Prize: Conference prizes

Controllers
Uncertainty

Activities 2017 2017

  • 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 201720 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

KiMfest 2017 (Event)

Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor), Radu Iulian Mardare (Editor)
19 Aug 201720 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch