Ashwani Anand

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Controller Synthesis

Winning Strategy

Transitive Closure

Proof Procedures

Top Venues

Publications

Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
Verifying Unboundedness via Amalgamation. LICS (2024)
Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
Verifying Unboundedness via Amalgamation. CoRR (2024)
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak
Contract-Based Distributed Logical Controller Synthesis. HSCC (2024)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. TACAS (2) (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Poster Abstract: Permissiveness for Strategy Adaptation. HSCC (2023)
Ashwani Anand, Georg Zetzsche
Priority Downward Closures. CONCUR (2023)
Ashwani Anand, Georg Zetzsche
Priority Downward Closures. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CAV (1) (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Contract-Based Distributed Synthesis in Two-Objective Parity Games. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CoRR (2023)
Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme Leroux, Pierre Ohlmann
New Algorithms for Combinations of Objectives using Separating Automata. GandALF (2021)