| PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time M Kwiatkowska, G Norman, D Parker, G Santos Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 105 | 2020 |
| Equilibria-based probabilistic model checking for concurrent stochastic games M Kwiatkowska, G Norman, D Parker, G Santos International Symposium on Formal Methods, 298-315, 2019 | 42 | 2019 |
| Automatic verification of concurrent stochastic systems M Kwiatkowska, G Norman, D Parker, G Santos Formal Methods in System Design 58 (1), 188-250, 2021 | 40 | 2021 |
| Automated verification of concurrent stochastic games M Kwiatkowska, G Norman, D Parker, G Santos Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 28 | 2018 |
| Multi-player equilibria verification for concurrent stochastic games M Kwiatkowska, G Norman, D Parker, G Santos International Conference on Quantitative Evaluation of Systems, 74-95, 2020 | 18 | 2020 |
| Finite-horizon equilibria for neuro-symbolic concurrent stochastic games R Yan, G Santos, X Duan, D Parker, M Kwiatkowska Uncertainty in Artificial Intelligence, 2170-2180, 2022 | 12 | 2022 |
| Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games R Yan, G Santos, G Norman, D Parker, M Kwiatkowska Information and Computation 300, 105193, 2024 | 9 | 2024 |
| Symbolic verification and strategy synthesis for turn-based stochastic games M Kwiatkowska, G Norman, D Parker, G Santos Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 9 | 2022 |
| Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges M Kwiatkowska, G Norman, D Parker, G Santos, R Yan arXiv preprint arXiv:2206.15148, 2022 | 9 | 2022 |
| Correlated equilibria and fairness in concurrent stochastic games M Kwiatkowska, G Norman, D Parker, G Santos International Conference on Tools and Algorithms for the Construction and …, 2022 | 8 | 2022 |
| Partially observable stochastic games with neural perception mechanisms R Yan, G Santos, G Norman, D Parker, M Kwiatkowska International Symposium on Formal Methods, 363-380, 2024 | 6 | 2024 |
| HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms R Yan, G Santos, G Norman, D Parker, M Kwiatkowska arXiv preprint arXiv:2404.10679, 2024 | 6 | 2024 |
| Partially observable stochastic games with neural perception mechanisms R Yan, G Santos, G Norman, D Parker, M Kwiatkowska arXiv preprint arXiv:2310.11566, 2023 | 5 | 2023 |
| Point-based Value Iteration for Neuro-Symbolic POMDPs R Yan, G Santos, G Norman, D Parker, M Kwiatkowska arXiv preprint arXiv:2306.17639, 2023 | 4 | 2023 |
| Expectation vs. Reality: Towards Verification of Psychological Games M Kwiatkowska, G Norman, D Parker, G Santos Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 1 | 2024 |
| Point-Based Value Iteration for POMDPs with Neural Perception Mechanisms R Yan, G Santos, G Norman, D Parker, M Kwiatkowska arXiv preprint arXiv:2306.17639, 2023 | 1 | 2023 |
| Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic game (extended version) R Yan, G Santos, N Gethin, D Parker, M Kwiatkowska Information and Computation, 2022 | 1* | 2022 |
| Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games GHR Santos University of Oxford, 2020 | 1 | 2020 |
| Equilibria-based probabilistic model checking for concurrent stochastic games G Santos Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | | 2019 |
| Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games (Supplementary material) R Yan, G Santos, X Duan, D Parker, M Kwiatkowska | | |
