3 citations · 9 across the 10 of their papers we have counts for
1 paper · 1 filter
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…