Resilient Abstraction-Based Controller Design. - Stanly Samuel; Kaushik Mallik; Anne-Kathrin Schmuck; Daniel Neider (CDC, 2020)

GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (ESEC/SIGSOFT FSE, 2021)

BNSynth: Bounded Boolean Functional Synthesis. - Ravi Raja; Stanly Samuel; Chiranjib Bhattacharyya; Deepak D'Souza; Aditya Kanade 001 (CoRR, 2022)

Symbolic Fixpoint Algorithms for Logical LTL Games. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (ASE, 2023)

Towards Efficient Controller Synthesis Techniques for Logical LTL Games. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (CoRR, 2023)