Suivre
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
332014
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
242016
Stochastic equilibria under imprecise deviations in terminal-reward concurrent games
P Bouyer, N Markey, D Stan
arXiv preprint arXiv:1609.04089, 2016
82016
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
Learning Union of Integer Hypercubes with Queries
O Markgraf, D Stan, AW Lin
International Conference on Computer Aided Verification, 243-265, 2021
2021
Learning Union of Integer Hypercubes with Queries (Technical Report)
O Markgraf, D Stan, AW Lin
arXiv preprint arXiv:2105.13071, 2021
2021
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems
D Stan, AW Lin
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
2021
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)
D Stan, AW Lin
arXiv preprint arXiv:2102.04361, 2021
2021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–9