2 papers
cs.LO2025
Probabilistic Model Checking: Applications and Trends
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and tech…
cs.GT2024
Expectation vs. Reality: Towards Verification of Psychological Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Game theory provides an effective way to model strategic interactions among rational agents. In the context of formal verification, these ideas can be used to produce guarantees on…