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
-
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.