Seguir
Satya Prakash Nayak
Satya Prakash Nayak
Dirección de correo verificada de mpi-sws.org - Página principal
Título
Citado por
Citado por
Año
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
152023
Synthesizing Permissive Winning Strategy Templates for Parity Games
A Anand, SP Nayak, AK Schmuck
International Conference on Computer Aided Verification, 436-458, 2023
142023
Adaptive strategies for rLTL games
SP Nayak, D Neider, M Zimmermann
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
7*2021
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
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
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
A Nejati, SP Nayak, AK Schmuck
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
52024
Localized attractor computations for infinite-state games
AK Schmuck, P Heim, R Dimitrova, SP Nayak
International Conference on Computer Aided Verification, 135-158, 2024
42024
Contract-Based Distributed Logical Controller Synthesis
A Anand, AK Schmuck, SP Nayak
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
4*2024
Most General Winning Secure Equilibria Synthesis in Graph Games
SP Nayak, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2024
22024
Solving two-player games under progress assumptions
AK Schmuck, KS Thejaswini, I Sağlam, SP Nayak
International Conference on Verification, Model Checking, and Abstract …, 2023
22023
Synthesis of Universal Safety Controllers
B Finkbeiner, N Metzger, SP Nayak, AK Schmuck
arXiv preprint arXiv:2501.18445, 2025
2025
Fair Quantitative Games
A Anand, SP Nayak, R Raha, I Sağlam, AK Schmuck
arXiv preprint arXiv:2501.17255, 2025
2025
Strategy Templates: –Robust Certified Interfaces for Interacting Systems
A Anand, SP Nayak, AK Schmuck
International Symposium on Automated Technology for Verification and …, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13