Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alexandre David' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Guangyuan Li' in GoogleThis author has not been identified. Look up 'Danny Bøgsted Poulsen' in Google

runs on WebDSL