Publication:4536620
From MaRDI portal
zbMath0999.68531MaRDI QIDQ4536620
Freddy Y. C. Mang, Luca de Alfaro, Thomas A. Henzinger
Publication date: 28 November 2002
93C83: Control/observation systems involving computers (process control, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, A survey of stochastic \(\omega \)-regular games, Pruning external minimality checking for answer set programs using semantic dependencies, Qualitative analysis of concurrent mean-payoff games, Model checking abilities of agents: a closer look