scientific article; zbMATH DE number 6401143

MaRDI QIDQ5499149zbMATH OpenFDO

Authors Zheng Qin, Xinye Lu, Zheng-Cai Lu, Laixiang Shan

Publication date 11 February 2015

zbMATH Keywords

Büchi automatalinear temporal logicon-the-fly translation algorithm

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45)

Recommendations

• Efficient approach of translating LTL formulae into Büchi automata
• LTL to Büchi automata translation: fast and more deterministic
• A Unified Translation of Linear Temporal Logic to ω-Automata
• How to translate efficiently extensions of temporal logics into alternating automata
• scientific article; zbMATH DE number 1796123
• Limit-deterministic Büchi automata for linear temporal logic
• Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
• From linear temporal logics to Büchi automata: the early and simple principle
• scientific article; zbMATH DE number 1973991

Cited in

(9)

• Tool support for learning Büchi automata and linear temporal logic
• Efficient approach of translating LTL formulae into Büchi automata
• How to translate efficiently extensions of temporal logics into alternating automata
• Degeneralization algorithm for generation of Büchi automata based on contented situation
• Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
• scientific article; zbMATH DE number 2102710 (Why is no real title available?)
• scientific article; zbMATH DE number 1424021 (Why is no real title available?)
• From linear temporal logics to Büchi automata: the early and simple principle
• Tableau-based automata construction for dynamic linear time temporal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5499149)