Two Variable vs. Linear Temporal Logic in Model Checking and Games

DOI10.2168/LMCS-9(2:4)2013zbMath1266.68131MaRDI QIDQ4927426

Michael Benedikt, Rastislav Lenhardt, James Worrell

Publication date: 20 June 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationautomatafinite model theory

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13) Temporal logic (03B44)

Related Items (1)

Markov chains and unambiguous automata

This page was built for publication: Two Variable vs. Linear Temporal Logic in Model Checking and Games