14 citations · 15 across the 3 of their papers we have counts for
4 papers
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…
BNSynth: Bounded Boolean Functional Synthesis
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya +2
The automated synthesis of correct-by-construction Boolean functions from logical specifications is known as the Boolean Functional Synthesis (BFS) problem. BFS has many applicatio…
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…
Resilient Abstraction-Based Controller Design
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the computation of resilient controllers for perturbed non-linear dynamical systems w.r.t. linear-time temporal logic specifications. We address this problem through th…