Stanly Samuel

According to our database, Stanly Samuel authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Efficient Controller Synthesis Techniques for Logical LTL Games.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

CoRR, 2023

Symbolic Fixpoint Algorithms for Logical LTL Games.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

BNSynth: Bounded Boolean Functional Synthesis.

Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade

CoRR, 2022

2021

GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Resilient abstraction-based controller design.

Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020