Daniel STAN
Titre
Citée par
Citée par
Année
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
152016
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–6