1. Automatic verification of competitive stochastic systems;Chen;Form. Methods Syst. Des.,2013
2. Solving influence problems on the DeGroot model with a probabilistic model checking tool;Gyftopoulos,2016
3. Graph Transformation Games for Negotiating Features;Alabdullatif,2017
4. Quantitative verification and synthesis of attack-defence scenarios;Aslanyan,2016
5. Dynamic Programming, vol. 89;Richard,1957