Publication:2754083
From MaRDI portal
zbMath0974.68550MaRDI QIDQ2754083
Luca de Alfaro, Freddy Y. C. Mang, Thomas A. Henzinger
Publication date: 11 November 2001
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A survey of stochastic \(\omega \)-regular games, Compositional verification and 3-valued abstractions join forces, Graph Games and Reactive Synthesis