Partial solvers for generalized parity games
From MaRDI portal
Publication:2330591
DOI10.1007/978-3-030-30806-3_6OpenAlexW2971377472MaRDI QIDQ2330591
Clément Tamines, Guillermo A. Pérez, Véronique Bruyère, Jean-François Raskin
Publication date: 22 October 2019
Full work available at URL: https://arxiv.org/abs/1907.06913
Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication: Partial solvers for generalized parity games