Satya Prakash Nayak

36 papers A* 1B 3Journal 18Unranked 14
YearRankTypeTitle / Venue / Authors
2026 — conf
Concurrent Permissive Strategy Templates.
TACAS (1)
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 J jnl
Concurrent Permissive Strategy Templates.
CoRR
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 A* conf
Universal Safety Controllers with Learned Prophecies.
AAAI
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 B conf
Fair Quantitative Games.
FoSSaCS
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Fair Quantitative Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 J jnl
Kol-4-Gen: Stacked Kolmogorov-Arnold and Generative Adversarial Networks for Malware Binary Classification Through Visual Analysis.
IEEE Embed. Syst. Lett.
Anurag Dutta, Satya Prakash Nayak, Ruchira Naskar, Rajat Subhra Chakraborty
2025 J jnl
Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop.
CoRR
Oz Gitelson, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 B conf
Quantitative Strategy Templates.
ATVA
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Quantitative Strategy Templates.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Robust computation tree logic.
Innov. Syst. Softw. Eng.
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2025 — conf
Synthesis of Universal Safety Controllers.
TACAS (2)
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Synthesis of Universal Safety Controllers.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Universal Safety Controllers with Learned Prophecies.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 — conf
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.
HSCC
Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 — conf
Contract-Based Distributed Logical Controller Synthesis.
HSCC
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak
2024 J jnl
Localized Attractor Computations for Infinite-State Games (Full Version).
CoRR
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 — conf
Localized Attractor Computations for Infinite-State Games.
CAV (3)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 — conf
Most General Winning Secure Equilibria Synthesis in Graph Games.
TACAS (3)
Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 J jnl
Most General Winning Secure Equilibria Synthesis in Graph Games.
CoRR
Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 — conf
Solving Two-Player Games Under Progress Assumptions.
VMCAI (1)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2024 B conf
Strategy Templates - Robust Certified Interfaces for Interacting Systems.
ATVA
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 — conf
Computing Adequately Permissive Assumptions for Synthesis.
TACAS (2)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Computing Adequately Permissive Assumptions for Synthesis.
CoRR
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Context-triggered Abstraction-based Control Design.
CoRR
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
2023 J jnl
Contract-Based Distributed Synthesis in Two-Objective Parity Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 — conf
Poster Abstract: Permissiveness for Strategy Adaptation.
HSCC
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 — conf
Poster Abstract: Towards Seamless Reactivity of Hybrid Control.
HSCC
Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
2023 J jnl
Solving Two-Player Games under Progress Assumptions.
CoRR
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2023 — conf
Synthesizing Permissive Winning Strategy Templates for Parity Games.
CAV (1)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Synthesizing Permissive Winning Strategy Templates for Parity Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2022 — conf
Robust Computation Tree Logic.
NFM
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022 J jnl
Robust Computation Tree Logic.
CoRR
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022 — conf
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime.
ISoLA (1)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
2022 J jnl
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime.
CoRR
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
2021 — conf
Adaptive strategies for rLTL games.
HSCC
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann