Daniel STAN
Title
Cited by
Cited by
Year
Mixed Nash equilibria in concurrent terminal-reward games
P Bouyer, N Markey, D Stan
232014
Reachability in networks of register protocols under stochastic schedulers
P Bouyer, N Markey, M Randour, A Sangnier, D Stan
arXiv preprint arXiv:1602.05928, 2016
122016
Stochastic equilibria under imprecise deviations in terminal-reward concurrent games
P Bouyer, N Markey, D Stan
arXiv preprint arXiv:1609.04089, 2016
52016
Randomized strategies in concurrent games
D Stan
42017
Syntactic Partial Order Compression for Probabilistic Reachability
G Fox, D Stan, H Hermanns
International Conference on Verification, Model Checking, and Abstract …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5