Probabilistic Metric Temporal Graph Logic

Sven Schneider, Maria Maximova, Holger Giese

Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilisti…