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 | 6 | 2023 |
Synthesizing permissive winning strategy templates for parity games A Anand, SP Nayak, AK Schmuck International Conference on Computer Aided Verification, 436-458, 2023 | 4 | 2023 |
Priority downward closures A Anand, G Zetzsche arXiv preprint arXiv:2307.07460, 2023 | 1 | 2023 |
Contract-Based Distributed Synthesis in Two-Objective Parity Games A Anand, SP Nayak, AK Schmuck arXiv preprint arXiv:2307.06212, 2023 | 1 | 2023 |
Permissiveness for Strategy Adaptation A Anand, SP Nayak, AK Schmuck Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | | 2023 |
New Algorithms for Combinations of Objectives using Separating Automata A Anand, N Fijalkow, A Goubault-Larrecq, J Leroux, P Ohlmann arXiv preprint arXiv:2109.08322, 2021 | | 2021 |