Ashwani Anand
Scholar

Ashwani Anand

Google Scholar ID: DHLQgPAAAAAJ
Max Planck Institute for Software Systems
Game theoryInfinite state verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
66
 
H-index
4
 
i10-index
2
 
Publications
13
 
Co-authors
11
list available
Contact
CVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
4 items
Concurrent Permissive Strategy Templates
2026
Cited
0
Quantitative Strategy Templates
2025
Cited
0
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies
arXiv.org · 2025
Cited
0
Fair Quantitative Games
2025
Cited
0
Resume (English only)
Co-authors
11 total
Anne-Kathrin Schmuck
Anne-Kathrin Schmuck
MPI SWS
Satya Prakash Nayak
Satya Prakash Nayak
PhD in Computer Science, Max Planck Institute for Software Systems
Kaushik Mallik
Kaushik Mallik
IMDEA Software Institute
Georg Zetzsche
Georg Zetzsche
MPI-SWS, Germany
Ritam Raha
Ritam Raha
Post-doctoral Researcher, Max Planck Institute for Software Systems (MPI-SWS)
Irmak Sağlam
Irmak Sağlam
MPI - SWS
Lia Schütze
Lia Schütze
PhD Student, Max-Planck-Institute for Software Systems
Co-author 8
Co-author 8