A carregar...
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...
Na minha lista:
| Publicado no: | Graph Transformation |
|---|---|
| Main Authors: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | 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: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|