Some Recent Results in Metric Temporal Logic
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model checking problems for fragments of MTL with respect to different semantic models. We show that these fragments have widel...
| Hauptverfasser: | , |
|---|---|
| Format: | Journal article |
| Sprache: | English |
| Veröffentlicht: |
2008
|