New Algorithms for Combinations of Objectives using Separating Automata. - Ashwani Anand; Nathanaël Fijalkow; Aliénor Goubault-Larrecq; Jérôme Leroux; Pierre Ohlmann (GandALF, 2021)

Synthesizing Permissive Winning Strategy Templates for Parity Games. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (CAV (1), 2023)

Priority Downward Closures. - Ashwani Anand; Georg Zetzsche (CONCUR, 2023)

Poster Abstract: Permissiveness for Strategy Adaptation. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (HSCC, 2023)

Computing Adequately Permissive Assumptions for Synthesis. - Ashwani Anand; Kaushik Mallik; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (CoRR, 2023)

Strategy Templates - Robust Certified Interfaces for Interacting Systems. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (ATVA, 2024)

Contract-Based Distributed Logical Controller Synthesis. - Ashwani Anand; Anne-Kathrin Schmuck; Satya Prakash Nayak (HSCC, 2024)

Verifying Unboundedness via Amalgamation. - Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche (LICS, 2024)

Fair Quantitative Games. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS, 2025)

Quantitative Strategy Templates. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (CoRR, 2025)

Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Anne-Kathrin Schmuck (CoRR, 2025)