Correction to: ``Reactive synthesis without regret
From MaRDI portal
Publication:2675812
DOI10.1007/s00236-021-00410-0zbMath1495.68135OpenAlexW3209701753MaRDI QIDQ2675812
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Publication date: 26 September 2022
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-021-00410-0
Games involving graphs (91A43) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Correction to: ``Reactive synthesis without regret
