51 citations · 69 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
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…
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, Pranav Garg +2
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision…
On timed automata with input-determined guards
Deepak D'Souza, Nicolas Tabareau
We consider a general notion of timed automata with input-determined guards and show that they admit a robust logical framework along the lines of [D 'Souza03], in terms of a monad…