Ashwani Anand

20 papers A* 1B 4Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Concurrent Permissive Strategy Templates.
TACAS (1)
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 J jnl
Concurrent Permissive Strategy Templates.
CoRR
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 B conf
Fair Quantitative Games.
FoSSaCS
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Fair Quantitative Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 B conf
Quantitative Strategy Templates.
ATVA
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Quantitative Strategy Templates.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2024 — conf
Contract-Based Distributed Logical Controller Synthesis.
HSCC
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak
2024 B conf
Strategy Templates - Robust Certified Interfaces for Interacting Systems.
ATVA
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 A* conf
Verifying Unboundedness via Amalgamation.
LICS
Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
2024 J jnl
Verifying Unboundedness via Amalgamation.
CoRR
Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
2023 — conf
Computing Adequately Permissive Assumptions for Synthesis.
TACAS (2)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Computing Adequately Permissive Assumptions for Synthesis.
CoRR
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Contract-Based Distributed Synthesis in Two-Objective Parity Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 — conf
Poster Abstract: Permissiveness for Strategy Adaptation.
HSCC
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 B conf
Priority Downward Closures.
CONCUR
Ashwani Anand, Georg Zetzsche
2023 J jnl
Priority Downward Closures.
CoRR
Ashwani Anand, Georg Zetzsche
2023 — conf
Synthesizing Permissive Winning Strategy Templates for Parity Games.
CAV (1)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Synthesizing Permissive Winning Strategy Templates for Parity Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2021 — conf
New Algorithms for Combinations of Objectives using Separating Automata.
GandALF
Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme Leroux, Pierre Ohlmann