Permissive Controller Synthesis for Probabilistic Systems

Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Mateusz Ujma

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

16 Citations (Scopus)

1 results

Finished
Automated Game-Theoretic Verification of Security Systems
Parker, D.
Engineering & Physical Science Research Council
4/11/13 → 31/10/14
Project: Research Councils