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]
@inproceedings{DavidLLLP14,
title = {Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata},
author = {Alexandre David and Kim G. Larsen and Axel Legay and Guangyuan Li and Danny Bøgsted Poulsen},
year = {2014},
doi = {10.1109/ACSD.2014.21},
url = {http://dx.doi.org/10.1109/ACSD.2014.21},
researchr = {https://researchr.org/publication/DavidLLLP14},
cites = {0},
citedby = {0},
pages = {32-41},
booktitle = {14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
publisher = {IEEE},
isbn = {978-1-4799-4281-7},
}