Urmăriți
Daniel STAN
Daniel STAN
EPITA LRE
Adresă de e-mail confirmată pe epita.fr - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
302016
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 (COmUE), 2017
32017
Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)
O Markgraf, D Stan, AW Lin
International Conference on Computer Aided Verification, 243-265, 2021
22021
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
12021
Syntactic Partial Order Compression for Probabilistic Reachability
G Fox, D Stan, H Hermanns
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
12019
SAT-based Learning of Computation Tree Logic
A Pommellet, D Stan, S Scatton
2024
Concurrent Stochastic Lossy Channel Games
D Stan, M Najib, AW Lin, PA Abdulla
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 46: 1-46: 19, 2024
2024
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
Stratégies randomisées dans les jeux concurrents
D Stan
Université Paris-Saclay (ComUE), 2017
2017
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–12