Segui
Satya Prakash Nayak
Satya Prakash Nayak
PhD in Computer Science, Max Planck Institute for Software Systems
Email verificata su mpi-sws.org - Home page
Titolo
Citata da
Citata da
Anno
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
72023
Adaptive strategies for rLTL games
SP Nayak, D Neider, M Zimmermann
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
7*2021
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
52023
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
22023
Contract-Based Distributed Logical Controller Synthesis
A Anand, AK Schmuck, SP Nayak
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
1*2024
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 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
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
2024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–9