2024 |
[bibtex]
[issue]
|
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs, Proceedings of the ACM on programming languages 8, pages 93, ACM, 2024.
|
[bibtex]
[issue]
|
Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models: covering the parameter space, Formal methods in system design 62 (1/3), pages 181-259, Springer, 2024.
|
[bibtex]
[issue]
|
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, Proceedings of the ACM on programming languages 8 (OOPSLA1), pages 127, ACM, 2024.
|
[bibtex]
[issue]
|
Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking, 2024 Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2024.
|
[bibtex]
[issue]
|
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, 30. International Conference TACAS (TACAS 2024), Volume 14571 of LNCS, 237-257, Springer, 2024.
|
[bibtex]
[issue]
|
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 38. AAAI Conference on Artificial Intelligence (AAAI 2024), Volume 38,16 of Proceedings of the AAAI Conference on Artificial Intelligence, 17308-17316, Association for the Advancement of Artificial Intelligence, 2024.
|
[bibtex]
[issue]
|
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 10 Seiten, 2024. https://arxiv.org/abs/2401.12170
|
[bibtex]
[issue]
|
Alexander Nikolai Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský, Stefanie Mohr. Learning Explainable and Better Performing Representations of POMDP Strategies, 30. International Conference TACAS (TACAS 2024), Volume 14571 of LNCS, 299-319, Springer, 2024.
|
2023 |
[bibtex]
[issue]
|
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 3 Seiten, 2023. https://arxiv.org/abs/2302.00513
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes, Proceedings of the ACM on programming languages 7 (POPL), pages 67, ACM, 2023.
|
[bibtex]
[issue]
|
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler. Stochastic games with lexicographic objectives, Formal methods in system design, 41 Seiten, Springer, 2023.
|
[bibtex]
[issue]
|
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants, 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13994 of LNCS, 410-429, Springer, 2023.
|
[bibtex]
[issue]
|
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan. Lower Bounds for Possibly Divergent Probabilistic Programs, Proceedings of the ACM on programming languages 7 (OOPSLA1), pages 99, ACM, 2023.
|
[bibtex]
[issue]
|
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The probabilistic termination tool amber, Formal methods in system design 61 (1), pages 90-109, Springer, 2023.
|
[bibtex]
[issue]
|
Christopher Jan-Steffen Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu. First three years of the international verification of neural networks competition (VNN-COMP), International journal on software tools for technology transfer 25, pages 329-339, Springer, 2023.
|
[bibtex]
[issue]
|
Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák. Search and Explore: Symbiotic Policy Synthesis in POMDPs, 35. International Conference on Computer-Aided Verification (CAV 2023), Volume 13966 of LNCS, 113-135, Springer, 2023.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks, Journal of artificial intelligence research 77, pages 1637-1696, AI Access Found., 2023.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13993 of LNCS, 469-488, Springer, 2023.
|
[bibtex]
[issue]
|
Thomas Noll (ed), Ira Justus Fesefeldt (ed). 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Volume AIB-2023-03 of Aachener Informatik-Berichte, 1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023.
|
[bibtex]
[issue]
|
Tobias Winkler, Joost-Pieter Katoen. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration, 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13994 of LNCS, 391-409, Springer, 2023.
|
[bibtex]
[issue]
|
Tobias Winkler, Joost-Pieter Katoen. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata, 38. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), 13 Seiten, IEEE, 2023.
|
[bibtex]
[issue]
|
Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs, Proceedings of the ACM on programming languages 7 (OOPSLA2), pages 294, ACM, 2023.
|
[bibtex]
[issue]
|
Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version), [1]-48, 2023. https://arxiv.org/abs/2309.07781
|
[bibtex]
[issue]
|
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Logical methods in computer science 19 (4), pages 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023.
|
[bibtex]
[issue]
|
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 Seiten, 2023. https://arxiv.org/abs/2307.07314
|
[bibtex]
[issue]
|
Marsha Chechik (ed), Joost-Pieter Katoen (ed), Martin Leucker (ed). Formal Methods, Volume 14000 of LNCS, xvi, 659 Seiten : Diagramme, Springer, 2023.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks, 32. International Joint Conference on Artificial Intelligence (IJCAI 2023), International Joint Conferences on Artificial Intelligence, 2023.
|
[bibtex]
[issue]
|
Suhas Kotha, Christopher Jan-Steffen Brix, Zico Kolter, Krishnamurthy (Dj Dvijotham, Huan Zhang. Provably Bounding Neural Network Preimages, 37. Conference on Neural Information Processing Systems (NeurIPS), Advances in Neural Information Processing Systems, 2023.
|
Show all |
---|