Algorithmic verification of linear temporal logic specifications
Lecture notes in computer science1998pp. 1–16
Citations Over TimeTop 10% of 1998 papers
Related Papers
- → Checking Interval Properties of Computations(2014)15 cited
- → A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking(2011)8 cited
- → Characterizing Kripke structures in temporal logic. Interim report(1987)1 cited
- Representing RCC relations in temporal logic(2015)
- Formal modelling and verification of multi-robot systems specified with temporal logic(2010)