Daniel STAN

Publications

Communication dans un congrès (3)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses Hongjian Jiang,Anthony W Lin,Oliver Markgraf,Philipp Rümmer,Daniel Stan Computer Aided Verification, Ruzica Piskac and Zvonimir Rakamaric, Jul 2025, Zagreb, Croatia. pp.200-214, ⟨10.1007/978-3-031-98668-0_10⟩ Communication dans un congrès hal-05288450v1
SAT-based Learning of Computation Tree Logic Adrien Pommellet,Daniel Stan,Simon Scatton IJCAR 2024 - International Joint Conference on Automated Reasoning, Jul 2024, Nancy, France. pp.366-385, ⟨10.1007/978-3-031-63498-7_22⟩ Communication dans un congrès hal-04459133v2
Mixed Nash Equilibria in Concurrent Terminal-Reward Games Patricia Bouyer,Nicolas Markey,Daniel Stan FSTTCS 2014, Dec 2014, Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.351⟩ Communication dans un congrès hal-01105081v1

Thèse (1)

Randomized strategies in concurrent games Daniel Stan Computer Science and Game Theory [cs.GT]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN011⟩ Thèse tel-01519354v1