Ernst Moritz Hahn

CoRR, 2024

AGNES: Abstraction-Guided Framework for Deep Neural Networks Security.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Omega-Regular Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Multi-objective ω-Regular Reinforcement Learning.

[BibT_eX]

[DOI]

Formal Aspects Comput., June, 2023

ATM: a Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

CoRR, 2023

PFL: a Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

CoRR, 2023

Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

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

sfATM: A Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

sfPFL: A Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.

[BibT_eX]

[DOI]

Akshay Dhonthi

Vahid Hashemi

Proceedings of the Formal Methods - 25th International Symposium, 2023

Omega-Regular Reward Machines.

[BibT_eX]

[DOI]

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

Scenario Approach for Parametric Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Probabilistic Preference Planning Problem for Markov Decision Processes.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Alternating Good-for-MDP Automata.

[BibT_eX]

[DOI]

CoRR, 2022

EPMC Gets Knowledge in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Recursive Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Reinforcement Learning with Guarantees that Hold for Ever.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

BFL: a Logic to Reason about Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Alternating Good-for-MDPs Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

An Impossibility Result in Automata-Theoretic Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Mungojerrie: Reinforcement Learning of Linear-Time Objectives.

[BibT_eX]

[DOI]

CoRR, 2021

The Marriage Between Safety and Cybersecurity: Still Practicing.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Symblicit exploration and elimination for probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Model-Free Reinforcement Learning for Branching Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.

[BibT_eX]

[DOI]

CoRR, 2020

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.

[BibT_eX]

[DOI]

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

Model-Free Reinforcement Learning for Stochastic Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2019

Good-for-MDPs Automata.

[BibT_eX]

[DOI]

CoRR, 2019

Omega-Regular Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

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

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

[BibT_eX]

[DOI]

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

Limit reachability for model-free reinforcement learning of ω-regular objectives.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Birgit van Huijgevoort

Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Incremental Verification of Parametric and Reconfigurable Markov Chains.

[BibT_eX]

[DOI]

Paul Gainer

Sven Schewe

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Accelerated Model Checking of Parametric Markov Chains.

[BibT_eX]

[DOI]

Paul Gainer

Sven Schewe

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

JANI: Quantitative Model and Tool Interaction.

[BibT_eX]

[DOI]

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

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Model Checking Omega-regular Properties for Quantum Markov Chains .

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking.

[BibT_eX]

[DOI]

CoRR, 2016

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Exploiting Robust Optimization for Interval Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Simple Algorithm for Solving Qualitative Probabilistic Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Transient Reward Approximation for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2015

Computing Cumulative Rewards Using Fast Adaptive Uniformization.

[BibT_eX]

[DOI]

Frits Dannenberg

Marta Z. Kwiatkowska

ACM Trans. Model. Comput. Simul., 2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

QPMC: A Model Checker for Quantum Programs and Protocols.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Lazy Probabilistic Model Checking without Determinisation.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Reachability and Reward Checking for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Model Checking CSL for Markov Population Models

[BibT_eX]

[DOI]

David Spieler

Lijun Zhang

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

iscasMc: A Web-Based Probabilistic Model Checker.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

2013

Model checking stochastic hybrid systems.

[BibT_eX]

[DOI]

PhD thesis, 2013

Model checking for performability.

[BibT_eX]

[DOI]

Christel Baier

Boudewijn R. Haverkort

Joost-Pieter Katoen

Math. Struct. Comput. Sci., 2013

A compositional modelling and analysis framework for stochastic hybrid systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Lazy Determinisation for Quantitative Model Checking.

[BibT_eX]

[DOI]

CoRR, 2013

Model Repair for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Rewarding probabilistic hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Computing Cumulative Rewards Using Fast Adaptive Uniformisation.

[BibT_eX]

[DOI]

Frits Dannenberg

Luis María Ferrer Fioriti

Marta Z. Kwiatkowska

Proceedings of the Computational Methods in Systems Biology, 2013

CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Safety Verification for Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2012

Transient Reward Approximation for Grids, Crowds, and Viruses

[BibT_eX]

[DOI]

CoRR, 2012

Variable Probabilistic Abstraction Refinement.

[BibT_eX]

[DOI]

Björn Wachter

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Probabilistic reachability for parametric Markov models.

[BibT_eX]

[DOI]

Lijun Zhang

Int. J. Softw. Tools Technol. Transf., 2011

The ins and outs of the probabilistic model checker MRMC.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Synthesis for PCTL in Parametric Markov Decision Processes.

[BibT_eX]

[DOI]