Stanly Samuel

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Controller Synthesis

Top Venues

Publications

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Symbolic Fixpoint Algorithms for Logical LTL Games. ASE (2023)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Towards Efficient Controller Synthesis Techniques for Logical LTL Games. CoRR (2023)
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade
BNSynth: Bounded Boolean Functional Synthesis. CoRR (2022)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces. ESEC/SIGSOFT FSE (2021)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces. CoRR (2021)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CDC (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CoRR (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient abstraction-based controller design. HSCC (2020)