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 | 15 | 2023 |
Synthesizing Permissive Winning Strategy Templates for Parity Games A Anand, SP Nayak, AK Schmuck International Conference on Computer Aided Verification, 436-458, 2023 | 14 | 2023 |
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 | 6 | 2023 |
Robust computation tree logic SP Nayak, D Neider, R Roy, M Zimmermann NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022 | 6 | 2022 |
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 | 5 | 2024 |
Localized attractor computations for infinite-state games AK Schmuck, P Heim, R Dimitrova, SP Nayak International Conference on Computer Aided Verification, 135-158, 2024 | 4 | 2024 |
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 | 2 | 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 …, 2023 | 2 | 2023 |
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 |