Ashwani Anand

According to our database, Ashwani Anand authored at least 12 papers between 2021 and 2025.

Collaborative distances:

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

2025

Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck

CoRR, May, 2025

Quantitative Strategy Templates.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck

CoRR, April, 2025

Fair Quantitative Games.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck

Proceedings of the Foundations of Software Science and Computation Structures, 2025

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

Strategy Templates - Robust Certified Interfaces for Interacting Systems.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the Automated Technology for Verification and Analysis, 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