Publication:4938419

zbMath0938.03053MaRDI QIDQ4938419

Martin Leucker

Publication date: 23 February 2000

zbMATH Keywords

model checking; alternating Büchi automata; alternation-free \(\mu\)-calculus; model checking game

Mathematics Subject Classification ID

91A80: Applications of game theory

03B70: Logic in computer science

03D05: Automata and formal grammars in connection with logical questions

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

Related Items

Multi-valued model checking games