Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
From MaRDI portal
Publication:3502632
DOI10.1007/978-3-540-79228-4_4zbMath1140.03305MaRDI QIDQ3502632
Publication date: 27 May 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79228-4_4
expressiveness; Büchi automata; \(\omega \)-regular expression; Propositional Projection Temporal Logic
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
03B44: Temporal logic
Related Items
A canonical form based decision procedure and model checking approach for propositional projection temporal logic, Verify heaps via unified model checking, PPTL specification mining based on LNFG, Model checking open systems with alternating projection temporal logic, Bounded model checking of traffic light control system, Axiomatic semantics of projection temporal logic programs