Daniel STAN
Title
Cited by
Cited by
Year
Mixed Nash equilibria in concurrent terminal-reward games
P Bouyer, N Markey, D Stan
FSTTCS 2014, 2014
292014
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
142016
Stochastic equilibria under imprecise deviations in terminal-reward concurrent games
P Bouyer, N Markey, D Stan
arXiv preprint arXiv:1609.04089, 2016
72016
Randomized strategies in concurrent games
D Stan
Université Paris-Saclay, 2017
32017
Syntactic Partial Order Compression for Probabilistic Reachability
G Fox, D Stan, H Hermanns
International Conference on Verification, Model Checking, and Abstract …, 2019
12019
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)
D Stan, AW Lin
2021
The system can't perform the operation now. Try again later.
Articles 1–6