32 citations · 172 across the 29 of their papers we have counts for
1 paper · 1 filter
Véronique Bruyère, Emmanuel Filiot, Mickael Randour +1
We extend the quantitative synthesis framework by going beyond the worst-case. On the one hand, classical analysis of two-player games involves an adversary (modeling the environme…