Daniel STAN

4
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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