Publications
A full publication list is available at dblp and google scholar.
My Erdős number is 4.
Most of my papers list all authors in alphabetic or randomized order, indicated by ⓐ or ⓡ, respectively. If you are wondering why one would do this, see this article by the American Mathematical Society.
under submission
- Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
ⓐ Oz Gitelson, Satya Prakash Nayak, Ritam Raha, and Anne-Kathrin Schmuck
[ arXiv | demo ]
2026
-
Concurrent Permissive Strategy Templates
ⓐ Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ TACAS’26 | arXiv | tool ] -
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies
ⓐ Ashwani Anand, Satya Prakash Nayak, Ritam Raha, and Anne-Kathrin Schmuck
[ AAMAS’26 | arXiv | demo ] -
Universal Safety Controllers with Learned Prophecies
ⓐ Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ AAAI’26 | arXiv | tool | poster ]
2025
-
Quantitative Strategy Templates
ⓐ Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Sağlam, and Anne-Kathrin Schmuck
[ ATVA’25 | arXiv ] -
Synthesis of Universal Safety Controllers
ⓐ Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ TACAS’25 | arXiv | tool ] -
Fair Quantitative Games
ⓐ Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Sağlam, and Anne-Kathrin Schmuck
[ FoSSaCS’25 | arXiv | poster ]
2024
-
Strategy Templates – Robust Certified Interfaces for Interacting Systems
ⓡ Ashwani Anand, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ ATVA’24 (invited) | PDF ] -
Localized Attractor Computations for Infinite-State Games
ⓡ Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, and Satya Prakash Nayak
[ CAV’24 | arXiv | tool ] -
Most General Winning Secure Equilibria Synthesis in Graph Games
ⓐ Satya Prakash Nayak and Anne-Kathrin Schmuck
[ TACAS’24 | arXiv | poster ] -
Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates
Ameneh Nejati, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ HSCC’24 ] -
Contract-Based Distributed Logical Controller Synthesis
ⓡ Ashwani Anand, Anne-Kathrin Schmuck, and Satya Prakash Nayak
HSCC’23 best poster award
[ HSCC’24 | arXiv | extended-abstract@HSCC’23 | poster ] -
Solving Two-Player Games under Progress Assumptions
ⓡ Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Sağlam, and Satya Prakash Nayak
[ VMCAI’24 | arXiv | talk ]
2023
-
Context-Triggered Abstraction-Based Control Design
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, and Raphaël Jungers
[ OJ-CSYS’23 | arXiv | extended-abstract@HSCC’23 | poster | simulation ] -
Synthesizing Permissive Winning Strategy Templates for Parity Games
ⓐ Ashwani Anand, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ CAV’23 | arXiv | tool ] -
Computing Adequately Permissive Assumptions for Synthesis
ⓐ Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, and Anne-Kathrin Schmuck
[ TACAS’23 | arXiv | tool | poster ]
2022
-
Robust Computation Tree Logic
ⓐ Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, and Martin Zimmermann
[ ISSE’24 | NFM’22 | arXiv ] -
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
ⓐ Satya Prakash Nayak, Daniel Neider, and Martin Zimmermann
[ ISoLA’22 | arXiv | extended-abstract@HSCC’21 | poster ]