2- https://doi.org/10.1016/j.jlamp.2023.100938
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- Dec 1, 2023
- Journal of Logical and Algebraic Methods in Programming
- Sven Schneider +2 more
Abstract
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- # Bounded Model Checking Approach
- # Probabilistic Graph
- # Cyber-physical Systems
- # Bounded Model Checking
- # Probabilistic Logic
- # Temporal Logic
- # Probabilistic Transformation
- # Precise Probabilities
- # Probabilistic Systems
- # Probability Intervals
