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.

📘 Papers

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 Schumck
  [ 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 ]

• Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies
  ⓐ Ashwani Anand, Satya Prakash Nayak, Ritam Raha, and Anne-Kathrin Schumck
  [ AAMAS’26 | arXiv | demo ]

• Universal Safety Controllers with Learned Prophecies
  ⓐ Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, and Anne-Kathrin Schumck
  [ AAAI’26 | arXiv | tool ]

2025

• Quantitative Strategy Templates
  ⓐ Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Sağlam, and Anne-Kathrin Schumck
  [ ATVA’25 | arXiv ]

• Synthesis of Universal Safety Controllers
  ⓐ Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, and Anne-Kathrin Schumck
  [ TACAS’25 | arXiv | tool ]

• Fair Quantitative Games
  ⓐ Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Sağlam, and Anne-Kathrin Schumck
  [ FoSSaCS’25 | arXiv | poster ]

2024

• Strategy Templates – Robust Certified Interfaces for Interacting Systems
  ⓡ Ashwani Anand, Satya Prakash Nayak, and Anne-Kathrin Schumck
  [ 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 Schumck
  [ 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 Schumck
  [ HSCC’24 ]

• Contract-Based Distributed Logical Controller Synthesis
  ⓡ Ashwani Anand, Anne-Kathrin Schumck, 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 Schumck
  [ CAV’23 | arXiv | tool ]

• Computing Adequately Permissive Assumptions for Synthesis
  ⓐ Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, and Anne-Kathrin Schumck
  [ 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 ]

🧰 Tools

• UCLearn : Universal Controller via Learning Prophecies
  [ Zenodo ]

• rpg-STeLA : reactive program (infinite-state) game solver using Strategy Template-based Localized Acceleration
  [ GitLab | Zenodo ]

• CoSMo : Contracted Strategy Mask Negotiation in two-objective parity games
  [ GitHub ]

• PeSTel : Permissive Strategy Templates for generalized parity games
  [ GitHub ]

• SImPA : Sufficient, Implementable, and Permissive Assumptions for synthesis
  [ GitLab ]