Looking at Mean-Payoff Through Foggy Windows

DOI10.1007/978-3-319-24953-7_31zbMath1408.91044arXiv1504.02947OpenAlexW2241293560MaRDI QIDQ3460583

Paul Hunter, Guillermo A. Pérez, Jean-François Raskin

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Looking at Mean-Payoff Through Foggy Windows