Permissive Controller Synthesis for Probabilistic Systems

Klaus Drager, Vojtech Forejt, Marta Kwiatkowska, David Parker, Mateusz Ujma

Computer Science

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

135 Downloads (Pure)

1 results

Filter

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