Safely Freezing LTL

DOI10.1007/11944836_35MaRDI QIDQ5386001zbMATH OpenOpenAlexFDO

Authors Ranko Lazić

Publication date 17 April 2008

Published in FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11944836_35

Mathematics Subject Classification ID

Temporal logic (03B44) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Improving LTL truck load utilization on line
• Discounting in LTL
• Anchored LTL separation
• Taming past LTL and flat counter systems
• Taming past LTL and flat counter systems
• On freeze LTL with ordered attributes
• LTL Can Be More Succinct
• Passive cold devices for vaccine supply chains

Cited in

(8)

• SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
• On freeze LTL with ordered attributes
• LTL with the freeze quantifier and register automata
• Temporal logics of repeating values
• A Decidable Temporal Logic of Repeating Values
• A first-order logic characterisation of safety and co-safety languages
• On the freeze quantifier in Constraint LTL: Decidability and complexity
• Model checking memoryful linear-time logics over one-counter automata

This page was built for publication: Safely Freezing LTL

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