Markov Automata with Multiple Objectives

Lecture notes in computer science

DOI: 10.1007/978-3-319-63387-9_7 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 9 stored of 20

Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

5

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

246

citations
Markov automata with multiple objectives
2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

5

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 other Computer Science Formal Methods in Verification Open access

1

citations
On Correctness, Precision, and Performance in Quantitative Verification
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

39

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

13

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

22

citations
Simple Strategies in Multi-Objective MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

29

citations
Stochastic Games with Lexicographic Reachability-Safety Objectives
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

20

citations

9 results

References 3

3 results