Branching time regular temporal logic for model checking with linear time complexity
Lecture notes in computer science2005pp. 253–262
Citations Over Time
Related Papers
- → Alternating-time temporal logic(2002)313 cited
- → Monitoring Algorithms for Metric Temporal Logic Specifications(2005)172 cited
- → Temporal logic control of discrete-time piecewise affine systems(2009)10 cited
- → The Comparison of Expressiveness Between LTL and IGPoLTL(2016)1 cited
- → Temporal Logic Model Checking via Probe Machine(2020)1 cited