85 citations · 354 across the 71 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
We introduce games with probabilistic uncertainty, a natural model for controller synthesis in which the controller observes the state of the system through imprecise sensors that…