
Daniel STAN
3
Documents
Publications
Publications
|
SAT-based Learning of Computation Tree Logic2024
Pré-publication, Document de travail
(preprint/prepublication)
hal-04459133
v2
|
|
Randomized strategies in concurrent gamesComputer Science and Game Theory [cs.GT]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN011⟩
Thèse
tel-01519354
v1
|
|
Mixed Nash Equilibria in Concurrent Terminal-Reward GamesFSTTCS 2014, Dec 2014, Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.351⟩
Communication dans un congrès
hal-01105081
v1
|
Chargement...
Chargement...