Probabilistic Metric Temporal Graph Logic

DOI10.1007/978-3-031-09843-7_4MaRDI QIDQ6487306zbMATH OpenFDO

Authors Sven Schneider, Maria Maximova, Holger Giese

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-09843-7_4

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Interval probabilistic timed graph transformation systems
• Probabilistic timed graph transformation systems
• Probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies

Cites work

• A compositional modelling and analysis framework for stochastic hybrid systems
• Bounded model checking for probabilistic programs
• Correctness of high-level transformation systems relative to nested conditions
• Efficient Runtime Verification of First-Order Temporal Properties
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Fundamentals of algebraic graph transformation
• Interval probabilistic timed graph transformation systems
• Lectures on Concurrency and Petri Nets
• Metric temporal graph logic over typed attributed graphs
• Monitoring metric first-order temporal properties
• Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
• Probabilistic graph transformation systems
• Probabilistic timed graph transformation systems
• Symbolic graphs for attributed graph constraints
• The probabilistic model checking landscape
• Verification, Model Checking, and Abstract Interpretation

Cited in

(8)

• Interval probabilistic timed graph transformation systems
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
• Compositional analysis of probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
• Metric temporal graph logic over typed attributed graphs
• Spatio-temporal model-checking of cyber-physical systems using graph queries

This page was built for publication: Probabilistic Metric Temporal Graph Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487306)