14 citations · 14 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Towards Efficient Controller Synthesis Techniques for Logical LTL Games
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Two-player games are a fruitful way to represent and reason about several important synthesis tasks. These tasks include controller synthesis (where one asks for a controller for a…
cs.LO2021★ 14 cited
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…