Cargando…
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...
Autores principales: | Schneider, Sven, Sakizloglou, Lucas, Maximova, Maria, Giese, Holger |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314715/ http://dx.doi.org/10.1007/978-3-030-51372-6_16 |
Ejemplares similares
-
The Ability of Analysts' Recommendations to Predict Optimistic and Pessimistic Forecasts
por: Biglari, Vahid, et al.
Publicado: (2013) -
Are E-values too optimistic or too pessimistic? Both and neither!
por: Sjölander, Arvid, et al.
Publicado: (2022) -
Compositional Analysis of Probabilistic Timed Graph Transformation Systems
por: Maximova, Maria, et al.
Publicado: (2021) -
Neither an Optimist Nor a Pessimist Be: Mistaken Expectations Lower Well-Being
por: de Meza, David, et al.
Publicado: (2020) -
Attachment Security Balances Perspectives: Effects of Security Priming on Highly Optimistic and Pessimistic Explanatory Styles
por: Deng, Yanhe, et al.
Publicado: (2016)