Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen. Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. In 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014. pages 32-41, IEEE, 2014. [doi]
Abstract is missing.