Wird geladen...
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
The nonpropositional Metric Temporal Graph Logic (MTGL) specifies the behavior of timed dynamic systems given by timed graph sequences (TGSs), which contain typed attributed graphs representing system states and the elapsed time between states. MTGL satisfaction can be analyzed for finite TGSs by tr...
Gespeichert in:
| Veröffentlicht in: | Graph Transformation |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Online Zugang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7314715/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51372-6_16 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|