On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
From MaRDI portal
Publication:5870862
Recommendations
- A model checker for linear time temporal logic
- On the satisfiability of indexed linear temporal logics
- Parameterised model checking for alternating-time temporal logic
- scientific article; zbMATH DE number 1701759
- Linear parametric model checking of timed automata
- Model checking linear coalgebraic temporal logics: an automata-theoretic approach
- On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems
- scientific article; zbMATH DE number 6454071
Cites work
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1956481 (Why is no real title available?)
- scientific article; zbMATH DE number 1863182 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
- Dynamic linear time temporal logic
- Equivalence checking problem for finite state transducers over semigroups
- On the Model Checking Problem for Some Extension of CTL*
- Propositional dynamic logic of regular programs
- Regular Linear Temporal Logic
- Relationships between nondeterministic and deterministic tape complexities
- Some Recent Results in Metric Temporal Logic
- Temporal logic can be more expressive
- The temporal logic of branching time
This page was built for publication: On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870862)
