Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic.
Sven SchneiderMaria MaximovaHolger GiesePublished in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
- graph transformation
- bounded model checking
- linear temporal logic
- probabilistic logic
- temporal epistemic
- probabilistic model
- temporal logic
- bayesian networks
- generative model
- spatio temporal
- temporal data
- probability measures
- graph structure
- probability theory
- finite state machines
- social networks
- graph theory
- distributed systems
- knowledge base