Ashwani Anand

According to our database, Ashwani Anand authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Contract-Based Distributed Synthesis in Two-Objective Parity Games.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

CoRR, 2023

Computing Adequately Permissive Assumptions for Synthesis.

Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Poster Abstract: Permissiveness for Strategy Adaptation.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Priority Downward Closures.

Ashwani Anand, Georg Zetzsche

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Synthesizing Permissive Winning Strategy Templates for Parity Games.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

New Algorithms for Combinations of Objectives using Separating Automata.

Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme Leroux, Pierre Ohlmann

Proceedings of the Proceedings 12th International Symposium on Games, 2021