Satya Prakash Nayak

According to our database, Satya Prakash Nayak authored at least 13 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Solving Two-Player Games Under Progress Assumptions.

Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Most General Winning Secure Equilibria Synthesis in Graph Games.

Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.

Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Contract-Based Distributed Logical Controller Synthesis.

Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Contract-Based Distributed Synthesis in Two-Objective Parity Games.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

CoRR, 2023

Context-triggered Abstraction-based Control Design.

Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers

CoRR, 2023

Computing Adequately Permissive Assumptions for Synthesis.

Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Poster Abstract: Towards Seamless Reactivity of Hybrid Control.

Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Poster Abstract: Permissiveness for Strategy Adaptation.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Synthesizing Permissive Winning Strategy Templates for Parity Games.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Robust Computation Tree Logic.

Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime.

Satya Prakash Nayak, Daniel Neider, Martin Zimmermann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

Adaptive strategies for rLTL games.

Satya Prakash Nayak, Daniel Neider, Martin Zimmermann

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021