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)

154 Downloads (Pure)

1 results

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