Spatio-Temporal Analysis of Concurrent Networks

Heinz Schmidt, Peter Herrmann, Maria Spichkova +3

Many very large-scale systems are networks of cyber-physical systems in which humans and autonomous software agents cooperate. To make the cooperation safe for the humans involved,…