scientific article
From MaRDI portal
Publication:2722062
zbMath0966.68150MaRDI QIDQ2722062
Freddy Y. C. Mang, Rupak Majumdar, Thomas A. Henzinger, Jean-François Raskin
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
An abstraction-refinement methodology for reasoning about network games, Formal analysis of multiparty contract signing, BOCoSy: Small but Powerful Symbolic Output-Feedback Control, Dynamic hierarchical reactive controller synthesis, A survey of stochastic \(\omega \)-regular games, Deductive verification of alternating systems, Assume-admissible synthesis, Solving games via three-valued abstraction refinement
