Stanly Samuel

20212022202320241 9 8 4

Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Anne-Kathrin SchmuckMPI SWSVerified email at mpi-sws.org
Kaushik MallikISTA (Institute of Science and Technology Austria)Verified email at ist.ac.at
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
Raghavan KomondoorIndian Institute of Science, BangaloreVerified email at csa.iisc.ernet.in
Aditya KanadeMicrosoft Research IndiaVerified email at microsoft.com
Chiranjib BhattacharyyaProfessor, Indian Institute of ScienceVerified email at csa.iisc.ernet.in

Stanly Samuel

Indian Institute of Science, Bangalore

Verified email at iisc.ac.in - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Resilient abstraction-based controller design S Samuel, K Mallik, AK Schmuck, D Neider Proceedings of the 23rd International Conference on Hybrid Systems …, 2020	14	2020
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces S Samuel, D D'Souza, R Komondoor Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021	6	2021
Towards Efficient Controller Synthesis Techniques for Logical LTL Games S Samuel, D D'Souza, R Komondoor arXiv preprint arXiv:2306.02427, 2023	2	2023
Symbolic Fixpoint Algorithms for Logical LTL Games S Samuel, D D'Souza, R Komondoor 2023 38th IEEE/ACM International Conference on Automated Software …, 2023		2023
BNSynth: Bounded Boolean Functional Synthesis R Raja, S Samuel, C Bhattacharyya, D D'Souza, A Kanade arXiv preprint arXiv:2212.08170, 2022		2022

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year