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 American Mathematical Society.

Papers

• Strategy Templates – Robust Certified Interfaces for Interacting Systems
  ⓡ Ashwani Anand, Satya Prakash Nayak, and Anne-Kathrin Schumck
  [ ATVA’24 (invited) ]

• 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 ]

• 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 ]

• 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 ]

*equal contribution.

Tools

• 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 ]