h1

h2

h3

h4

h5
h6

MKW NRW 005-2401-0001

VerifAIPO : Verifying Al Systems under Partial Observability

CoordinatorQuatmann, Tim
Grant period2024-04-01 - 2026-03-31
Funding bodyMinisterium für Kultur und Wissenschaft des Landes Nordrhein-Westfalen
 MKW NRW
IdentifierG:(MKW NRW)005-2401-0001

 

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings / edited by Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan
Automated Technology for Verification and Analysis, ATVA, Meeting location, Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16145, 207-230 () [10.1007/978-3-032-08707-2_10]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;  ;
Compositional Reasoning for Parametric Probabilistic Automata
[10.48550/arXiv.2506.08525]  GO arXiv   Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;
Compositional Reasoning for Parametric Probabilistic Automata
36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol
36. International Conference on Concurrency Theory, CONCUR 2025, AarhusAarhus, Denmark, 25 Aug 2025 - 30 Aug 20252025-08-252025-08-30 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 348, 31:1-31:20 () [10.4230/LIPICS.CONCUR.2025.31]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;
Multi-Cost-Bounded Reachability Analysis of POMDPs
Conference on Uncertainty in Artificial Intelligence, 21-25 July 2025, Rio Othon Palace, Rio de Janeiro, Brazil / Editors: Silvia Chiappa, Sara Magliacane
41. Conference on Uncertainty in Artificial Intelligence, UAI 2025, Rio de JaneiroRio de Janeiro, Brazil, 21 Jul 2025 - 25 Jul 20252025-07-212025-07-25 Proceedings of machine learning research 286, 354-366 () [10.18154/RWTH-2025-08686]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext Download fulltextHomepage of book BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
Journal of automated reasoning 69(3), 23 () [10.1007/s10817-025-09736-7]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;  ;
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule
31. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 20252025-05-032025-05-08
28. International Joint Conference on Theory and Practice of Software, ETAPS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 20252025-05-032025-05-08 Cham : Springer Nature Switzerland, Lecture notes in computer science 15697, : 1st ed. 2025, 130-151 () [10.1007/978-3-031-90653-4_7]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book  ;  ;  ;
Riding the Storm in a Probabilistic Model Checking Landscape
Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday : part II / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15261, 98-114 () [10.1007/978-3-031-75775-4_5]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;
A Spectrum of Approximate Probabilistic Bisimulations
35th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva
35. International Conference on Concurrency Theory, CONCUR 2024, CalgaryCalgary, Canada, 9 Sep 2024 - 13 Sep 20242024-09-092024-09-13 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 311, 37:1-37:19 () [10.4230/LIPICS.CONCUR.2024.37]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

 Record created 2025-03-17, last modified 2025-03-18
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)