scientific article; zbMATH DE number 7730627

DOI10.4230/lipics.concur.2021.25arXiv2105.06686MaRDI QIDQ6176109

Mickael Randour, Jeremy Sproston, James C. A. Main

Publication date: 21 August 2023

Full work available at URL: https://arxiv.org/abs/2105.06686

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parity gamestimed automatatimed gameswindow objectives

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Timed games with bounded window parity objectives

This page was built for publication: