Resets vs. Aborts in Linear Temporal Logic
Abstract elided by the publisher.
Related papers
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- Compositional Model Checking for Linear-Time Temporal Logic CAV 1992
- Regular Linear Temporal Logic with Past VMCAI 2010
- Improved Automata Generation for Linear Temporal Logic CAV 1999
- A Tableau System for Linear-TIME Temporal Logic TACAS 1997
- Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis CAV 2006
- Limit-Deterministic Büchi Automata for Linear Temporal Logic CAV 2016
- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems VMCAI 2006