How to win first-order safety games
From MaRDI portal
Publication:784157
DOI10.1007/978-3-030-39322-9_20MaRDI QIDQ784157
Publication date: 5 August 2020
Full work available at URL: https://arxiv.org/abs/1908.05964
first order logic; first order safety games; second order quantifier elimination; universal invariants
68Q60: Specification and verification (program logics, model checking, etc.)