Regular Linear Temporal Logic with Past
Abstract elided by the publisher.
Related papers
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- A Temporal Fixpoint Calculus POPL 1988
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic CAV 1992
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991
- Temporal Breakpoints for Multiverse Debugging SLE 2023
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs POPL 2025
- Formally Verifying a Transformation from MLTL Formulas to Regular Expressions TACAS 2025