Opportunistic Synthesis in Reactive Games under Information Asymmetry

Abhishek N. Kulkarni, Jie Fu

Reactive synthesis is a class of methods to construct a provably-correct control system, referred to as a robot, with respect to a temporal logic specification in the presence of a…