Computing Game Values for Crash Games
From MaRDI portal
Publication:3510795
DOI10.1007/978-3-540-75596-8_14zbMath1141.91345MaRDI 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
Related Items
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