4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.GT2022
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Game-theoretic techniques and equilibria analysis facilitate the design and verification of competitive systems. While algorithmic complexity of equilibria computation has been ext…
cs.RO2016★ 4 cited
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Murray L. Ireland, Ruth Hoffmann, Alice Miller +2
If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are s…
cs.PL2010
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Alessandra Di Pierro, Gethin Norman
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is…