1 citations · 1 across the 3 of their papers we have counts for
3 papers
eess.SY2025
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck +2
We study the automated abstraction-based synthesis of correct-by-construction control policies for stochastic dynamical systems with unknown dynamics. Our approach is to learn an a…
cs.GT2025
Quantitative Strategy Templates
Ashwani Anand, Satya Prakash Nayak, Ritam Raha +2
This paper presents (permissive) \emph{Quantitative Strategy Templates} (QaSTels) to succinctly represent infinitely many winning strategies in two-player energy and mean-payoff ga…
cs.GT2024★ 1 cited
Most General Winning Secure Equilibria Synthesis in Graph Games
Satya Prakash Nayak, Anne-Kathrin Schmuck
This paper considers the problem of co-synthesis in -player games over a finite graph where each player has an individual -regular specification . In this context, a sec…