Jakob Piribauer
Aus International Center for Computational Logic
Dr. Jakob Piribauer
Wissenschaftlicher Mitarbeiter Algebraische und logische Grundlagen der Informatik
Neueste Publikationen
Komplette Publikationsliste anzeigen
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with weight functions
Nonlinear Analysis: Hybrid Systems, 60:101680, 2026
Details
Rajab Aghamov, Andrey Kudinov, Maik Nguyen, Jakob Piribauer
On Modal Logics of Full Products of Neighborhood Frames
Advances in Modal Logic, volume 16, 2026. College Publications
Details
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
In Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds., Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), volume 40, 36601–36609, 2026. AAAI Press
Details
Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
Model Checking Linear Temporal Logic with Standpoint Modalities
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2--11, 2025. IJCAI Organization
Details
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details
Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer
Details
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
Formal Quality Measures for Predictors in Markov Decision Processes
Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of Technical Tracks 25, April 2025. Public Knowledge Project
Details
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
In Ruzica Piskac, Zvonimir Rakamarić, eds., Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II, volume 15932 of Lecture Notes in Computer Science (LNCS), 56-81, July 2025. Springer
Details Download
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions
In Erika Ábrahám and Manuel Mazo Jr., eds., Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 22:1--22:11, 2024. ACM
Details
Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures
In Rupak Majumdar, Alexandra Silva, eds., 35th International Conference on Concurrency Theory (CONCUR 2024), volume 311 of Leibniz International Proceedings in Informatics (LIPIcs), 9:1-9:20, 2024. Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Details
