Daniel STAN
4
Documents
Publications
Publications
|
|
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn ClausesComputer Aided Verification, Ruzica Piskac and Zvonimir Rakamaric, Jul 2025, Zagreb, Croatia. pp.200-214, ⟨10.1007/978-3-031-98668-0_10⟩ |
|
|
SAT-based Learning of Computation Tree LogicIJCAR 2024 - International Joint Conference on Automated Reasoning, Jul 2024, Nancy, France. pp.366-385, ⟨10.1007/978-3-031-63498-7_22⟩ |
|
|
Mixed Nash Equilibria in Concurrent Terminal-Reward GamesFSTTCS 2014, Dec 2014, Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.351⟩ |
|
|
Randomized strategies in concurrent gamesComputer Science and Game Theory [cs.GT]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN011⟩ |
Chargement...
Chargement...