Follow
Satya Prakash Nayak
Satya Prakash Nayak
PhD in Computer Science, Max Planck Institute for Software Systems
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Adaptive strategies for rLTL games
SP Nayak, D Neider, M Zimmermann
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
7*2021
Computing adequately permissive assumptions for synthesis
A Anand, K Mallik, SP Nayak, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2023
62023
Robust computation tree logic
SP Nayak, D Neider, R Roy, M Zimmermann
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022
62022
Synthesizing Permissive Winning Strategy Templates for Parity Games
A Anand, SP Nayak, AK Schmuck
International Conference on Computer Aided Verification, 436-458, 2023
42023
Solving Two-Player Games Under Progress Assumptions
AK Schmuck, KS Thejaswini, I Sağlam, SP Nayak
International Conference on Verification, Model Checking, and Abstract …, 2024
12024
Context-Triggered Abstraction-Based Control Design
SP Nayak, LN Egidio, M Della Rossa, AK Schmuck, RM Jungers
IEEE Open Journal of Control Systems 2, 277-296, 2023
12023
Contract-Based Distributed Synthesis in Two-Objective Parity Games
A Anand, SP Nayak, AK Schmuck
arXiv preprint arXiv:2307.06212, 2023
12023
Most General Winning Secure Equilibria Synthesis in Graph Games
SP Nayak, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–8