Satya Prakash Nayak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Universal Safety Controllers with Learned Prophecies. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2026 | TACAS | Concurrent Permissive Strategy Templates. | Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2025 | ATVA | Quantitative Strategy Templates. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | FOSSACS | Fair Quantitative Games. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | TACAS | Synthesis of Universal Safety Controllers. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | ATVA | Strategy Templates - Robust Certified Interfaces for Interacting Systems. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | CAV | Localized Attractor Computations for Infinite-State Games. | Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak |
| 2024 | TACAS | Most General Winning Secure Equilibria Synthesis in Graph Games. | Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | VMCAI | Solving Two-Player Games Under Progress Assumptions. | Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak |
| 2023 | CAV | Synthesizing Permissive Winning Strategy Templates for Parity Games. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2023 | TACAS | Computing Adequately Permissive Assumptions for Synthesis. | Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2022 | ISoLA | Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. | Satya Prakash Nayak, Daniel Neider, Martin Zimmermann |