Branching-time temporal logic and tree automata

DOI10.1006/inco.1996.0021zbMath0853.68133OpenAlexW2081883656MaRDI QIDQ1917081

Orna Kupferman, Orna Grumberg

Publication date: 12 December 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0021

zbMATH Keywords

simultaneous treestemporal-logic model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

Symbolic model checking with rich assertional languages ⋮ TOrPEDO : witnessing model correctness with topological proofs

This page was built for publication: Branching-time temporal logic and tree automata