Computing Game Values for Crash Games

DOI10.1007/978-3-540-75596-8_14zbMath1141.91345OpenAlexW1487087108MaRDI QIDQ3510795

Helmut Seidl, Thomas Martin Gawlitza

Publication date: 3 July 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-75596-8_14

Mathematics Subject Classification ID

2-person games (91A05) Games involving graphs (91A43)

Related Items (2)

Model checking games for the quantitative \(\mu \)-calculus ⋮ Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polynomial Precise Interval Analysis Revisited
• Mathematical Foundations of Computer Science 2004
• Automated Technology for Verification and Analysis
• On Nonterminating Stochastic Games
• Computer Aided Verification
• Precise Fixpoint Computation Through Strategy Iteration
• CONCUR 2005 – Concurrency Theory
• Perspectives of System Informatics
• Rudiments of \(\mu\)-calculus

This page was built for publication: Computing Game Values for Crash Games