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.

  • 11 Similar Profiles

Network Dive into details by clicking on the dots.

Research Output

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. 9. (Leibniz International Proceedings in Informatics, Vol. 140).

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

Open Access
File
1 Citation (Scopus)
2 Downloads (Pure)

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

  • 1 Citation (Scopus)

    L*-Based Learning of Markov Decision Processes

    Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 Sep 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 651-669 19 p. (Lecture Notes in Computer Science, Vol. 11800).

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

  • 2 Citations (Scopus)

    Model checking constrained markov reward models with uncertainties

    Bacci, G., Hansen, M. & Larsen, K. G., 1 Sep 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer, p. 37-51 15 p. (Lecture Notes in Computer Science, Vol. 11785).

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

  • 1 Citation (Scopus)

    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
  • 1 Citation (Scopus)
    118 Downloads (Pure)

    Prizes

    Best Paper Award

    Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (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 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