Rational Verification for Probabilistic Systems

Julián Gutiérrez, Lewis Hammond, Anthony W. Lin, Muhammad Sharfi Najib, Michael Wooldridge

Type: Preprint

Publication Date: 2021-07-19

Citations: 1

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Rational Verification for Probabilistic Systems	2021	Julián Gutiérrez Lewis Hammond Anthony W. Lin Muhammad Najib Michael Wooldridge
+	Rational Verification for Probabilistic Systems	2021	Julián Gutiérrez Lewis Hammond Anthony W. Lin Muhammad Sharfi Najib Michael Wooldridge
+	Multi-player Equilibria Verification for Concurrent Stochastic Games	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Multi-player Equilibria Verification for Concurrent Stochastic Games	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Concurrent Stochastic Lossy Channel Games	2023	Daniel Stan Muhammad Sharfi Najib Anthony W. Lin Parosh Aziz Abdulla
+ PDF Chat	Probabilistic Model Checking and Autonomy	2021	Marta Kwiatkowska Gethin Norman David Parker
+	Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games	2018	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games	2018	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Automatic Verification of Concurrent Stochastic Systems	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Automatic Verification of Concurrent Stochastic Systems	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+	Probabilistic Model Checking and Autonomy	2021	Marta Kwiatkowska Gethin Norman David Parker
+	Probabilistic Model Checking and Autonomy	2021	Marta Kwiatkowska Gethin Norman David Parker
+	Multi-Agent Verification and Control with Probabilistic Model Checking	2023	David Parker
+ PDF Chat	On the complexity of rational verification	2022	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+	Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges	2022	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Rui Yan
+ PDF Chat	Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems	2024	Chunyan Mu Muhammad Sharfi Najib Nir Oren
+	Correlated Equilibria and Fairness in Concurrent Stochastic Games	2022	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+ PDF Chat	Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games	2019	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+ PDF Chat	Reasoning about Cognitive Trust in Stochastic Multiagent Systems	2019	Xiaowei Huang Marta Kwiatkowska Maciej Olejnik
+	Verification and Control of Turn-Based Probabilistic Real-Time Games	2019	Marta Kwiatkowska Gethin Norman David Parker

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (7)

Action	Title	Year	Authors
+ PDF Chat	Pure Nash Equilibria in Concurrent Deterministic Games	2015	Patricia Bouyer Romain Brenguier Nicolas Markey Michael Ummels
+ PDF Chat	Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties	2007	Christel Baier Nathalie Bertrand Philippe Schnoebelen
+ PDF Chat	From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata	2006	Nir Piterman
+ PDF Chat	Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games	2019	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos
+ PDF Chat	Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes	2020	Raphaël Berthon Shibashis Guha Jean-François Raskin
+	Automated temporal equilibrium analysis: Verification and synthesis of multi-player games	2020	Julián Gutiérrez Muhammad Sharfi Najib Giuseppe Perelli Michael Wooldridge
+ PDF Chat	Multi-player Equilibria Verification for Concurrent Stochastic Games	2020	Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos