Linear temporal logic to Büchi automaton

#	Item
1	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
2	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
3	Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2014-06-26 06:44:43 Theoretical computer science Linear temporal logic CTL* Modal logic Model checking Kripke structure FO Natural deduction Linear temporal logic to Büchi automaton Mathematical logic Logic Temporal logic