Laddar...
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...
Sparad:
| I publikationen: | Graph Transformation |
|---|---|
| Huvudupphovsmän: | , , , |
| Materialtyp: | Artigo |
| Språk: | Inglês |
| Publicerad: |
2020
|
| Ämnen: | |
| Länkar: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7314715/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51372-6_16 |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|