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