GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

The synthesis of maximally-permissive controllers in infinite-state systems has many practical applications. Such controllers directly correspond to maximal winning strategies in l…