Controllers with Minimal Observation Power (Application to Timed Systems)

Peter Bulychev, Franck Cassez, Alexandre David +3

We consider the problem of controller synthesis under imperfect information in a setting where there is a set of available observable predicates equipped with a cost function. The…