Tobias Meggendorfer

Amir Kafshdar Goharshady

Proc. ACM Program. Lang., 2024

Entropic risk for turn-based stochastic games.

[BibT_eX]

[DOI]

Christel Baier

Jakob Piribauer

Inf. Comput., 2024

Tools at the Frontiers of Quantitative Verification.

[BibT_eX]

[DOI]

CoRR, 2024

What Are the Odds? Improving the foundations of Statistical Model Checking.

[BibT_eX]

[DOI]

Patrick Wienhöft

CoRR, 2024

Learning Algorithms for Verification of Markov Decision Processes.

[BibT_eX]

[DOI]

Tomás Brázdil

CoRR, 2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.

[BibT_eX]

[DOI]

S. Akshay

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Causally Deterministic Markov Decision Processes.

[BibT_eX]

[DOI]

S. Akshay

P. S. Thiagarajan

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Correct Approximation of Stationary Distributions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.

[BibT_eX]

[DOI]

Raimundo Saona

Jakub Svoboda

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Reachability Poorman Discrete-Bidding Games.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Guessing Winning Policies in LTL Synthesis by Semantic Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

[BibT_eX]

[DOI]

S. Akshay

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Index appearance record with preorders.

[BibT_eX]

[DOI]

Acta Informatica, 2022

Algorithms and Hardness Results for Computing Cores of Markov Chains.

[BibT_eX]

[DOI]

Ali Ahmadi

Amir Kafshdar Goharshady

Roodabeh Safavi

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.

[BibT_eX]

[DOI]

Amir Kafshdar Goharshady

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

PET - A Partial Exploration Tool for Probabilistic Verification.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

Risk-Aware Stochastic Shortest Path.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Verifikation von Markov Entscheidungsprozessen in diskreter Zeit.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Verification of Discrete-Time Markov Decision Processes.

[BibT_eX]

[DOI]

PhD thesis, 2021

2020

Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

An Anytime Algorithm for Reachability on Uncountable MDP.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

[BibT_eX]

[DOI]

Alexander Manta

Dataset, June, 2019

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

[BibT_eX]

[DOI]

Alexander Manta

Dataset, June, 2019

Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

[BibT_eX]

[DOI]

Alexander Manta

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

LTL Store: Repository of LTL formulae from literature and case studies.

[BibT_eX]

[DOI]

Salomon Sickert

CoRR, 2018

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Owl: A Library for ω-Words, Automata, and LTL.

[BibT_eX]

[DOI]

Salomon Sickert

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Index Appearance Record for Transforming Rabin Automata into Parity Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

[BibT_eX]

[DOI]

Pranav Ashok

Przemyslaw Daca

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

[BibT_eX]

[DOI]