Parameter synthesis for Markov models: covering the parameter space.
Formal Methods Syst. Des., June, 2024
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
A Spectrum of Approximate Probabilistic Bisimulations.
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Riding the Storm in a Probabilistic Model Checking Landscape.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (Artifact).
Dataset, December, 2023
Verification of multi-objective Markov models.
PhD thesis, 2023
A Practitioner's Guide to MDP Model Checking Algorithms.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Markov automata with multiple objectives.
Formal Methods Syst. Des., February, 2022
The probabilistic model checker Storm.
Int. J. Softw. Tools Technol. Transf., 2022
Under-Approximating Expected Total Rewards in POMDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.
Dataset, November, 2021
Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.
Dataset, November, 2021
Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.
Dataset, November, 2021
Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.
Dataset, November, 2021
Multi-objective Optimization of Long-run Average and Total Rewards.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material.
Dataset, October, 2020
Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material.
Dataset, October, 2020
Multi-cost Bounded Tradeoff Analysis in MDP.
J. Autom. Reason., 2020
Simple Strategies in Multi-Objective MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Verification of Indefinite-Horizon POMDPs.
Proceedings of the Automated Technology for Verification and Analysis, 2020
Simple Strategies in Multi-Objective MDPs (Technical Report).
CoRR, 2019
Parameter Synthesis for Markov Models.
CoRR, 2019
The Quantitative Verification Benchmark Set.
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Correct-by-construction policies for POMDPs.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019
Finite-State Controllers of POMDPs using Parameter Synthesis.
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018
Multi-cost Bounded Reachability in MDP.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.
CoRR, 2017
Parameter Synthesis for Markov Models: Faster Than Ever.
Proceedings of the Automated Technology for Verification and Analysis, 2016
Counterexamples for Expected Rewards.
Proceedings of the FM 2015: Formal Methods, 2015