Satya Prakash Nayak

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 21

Top Topics

Winning Strategy

Nash Equilibria

Adaptive Strategies

Top Venues

Publications

Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games Under Progress Assumptions. VMCAI (1) (2024)
Satya Prakash Nayak, Anne-Kathrin Schmuck
Most General Winning Secure Equilibria Synthesis in Graph Games. TACAS (3) (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games. CAV (3) (2024)
Satya Prakash Nayak, Anne-Kathrin Schmuck
Most General Winning Secure Equilibria Synthesis in Graph Games. CoRR (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games (Full Version). CoRR (2024)
Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. HSCC (2024)
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak
Contract-Based Distributed Logical Controller Synthesis. HSCC (2024)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. TACAS (2) (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Poster Abstract: Permissiveness for Strategy Adaptation. HSCC (2023)
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
Context-triggered Abstraction-based Control Design. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CAV (1) (2023)
Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. HSCC (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. CoRR (2023)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games under Progress Assumptions. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Contract-Based Distributed Synthesis in Two-Objective Parity Games. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CoRR (2023)
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
Robust Computation Tree Logic. NFM (2022)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. ISoLA (1) (2022)
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
Robust Computation Tree Logic. CoRR (2022)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. CoRR (2022)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Adaptive strategies for rLTL games. HSCC (2021)