Ashwani Anand

According to our database, Ashwani Anand authored at least 8 papers between 2021 and 2024.

Collaborative distances:

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

2024

Verifying Unboundedness via Amalgamation.

Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Contract-Based Distributed Logical Controller Synthesis.

Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

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