On-Line Monitoring for Temporal Logic Robustness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adel Dokhanchi, Bardh Hoxha, Georgios E. Fainekos. On-Line Monitoring for Temporal Logic Robustness. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 231-246, Springer, 2014. [doi]

This author has not been identified. Look up 'Adel Dokhanchi' in GoogleThis author has not been identified. Look up 'Bardh Hoxha' in GoogleThis author has not been identified. Look up 'Georgios E. Fainekos' in Google

runs on WebDSL