Playing Safe
From MaRDI portal
Publication:2978529
DOI10.4230/LIPIcs.FSTTCS.2014.379zbMath1360.68583OpenAlexW4298360680MaRDI QIDQ2978529
Florian Horn, Nathanaël Fijalkow, Thomas Colcombet
Publication date: 25 April 2017
Full work available at URL: https://hal.archives-ouvertes.fr/hal-03410685
Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Finite-state strategies in delay games ⋮ Playing Safe, Ten Years Later ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Playing Safe
