Daniel STAN

3
Documents

Publications

Publications

Image document

SAT-based Learning of Computation Tree Logic

Adrien Pommellet , Daniel Stan , Simon Scatton
2024
Pré-publication, Document de travail (preprint/prepublication) hal-04459133 v2
Image document

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-01519354 v1