| Mixed Nash equilibria in concurrent terminal-reward games P Bouyer, N Markey, D Stan FSTTCS 2014, 2014 | 34 | 2014 |
| 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 | 28 | 2016 |
| Stochastic equilibria under imprecise deviations in terminal-reward concurrent games P Bouyer, N Markey, D Stan arXiv preprint arXiv:1609.04089, 2016 | 8 | 2016 |
| Randomized strategies in concurrent games D Stan Université Paris-Saclay, 2017 | 3 | 2017 |
| 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 | 1 | 2021 |
| Syntactic Partial Order Compression for Probabilistic Reachability G Fox, D Stan, H Hermanns International Conference on Verification, Model Checking, and Abstract …, 2019 | 1 | 2019 |
| 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 (technical report) D Stan, AW Lin arXiv preprint arXiv:2102.04361, 2021 | | 2021 |
