Fingerprint
Dive into the research topics where Jakob Piribauer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Model Checking Markov Chains as Distribution Transformers
Aghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 293-313 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15261 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2 Scopus citations -
Multiplicative Rewards in Markovian Models
Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 2025, Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers Inc., p. 499-512 14 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Spectrum of Approximate Probabilistic Bisimulations
Spork, T., Baier, C., Katoen, J. P., Piribauer, J. & Quatmann, T., Sep 2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Backward Responsibility in Transition Systems Using General Power Indices
Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access6 Scopus citations -
Demonic Variance and a Non-Determinism Score for Markov Decision Processes
Piribauer, J., Aug 2024, 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024. Kralovic, R. & Kucera, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 79. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 306).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review