ROSRV: Runtime Verification for Robots - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu. ROSRV: Runtime Verification for Robots. 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 247-254, Springer, 2014. [doi]

This author has not been identified. Look up 'Jeff Huang' in GoogleThis author has not been identified. Look up 'Cansu Erdogan' in GoogleThis author has not been identified. Look up 'Yi Zhang' in GoogleThis author has not been identified. Look up 'Brandon M. Moore' in GoogleThis author has not been identified. Look up 'Qingzhou Luo' in GoogleThis author has not been identified. Look up 'Aravind Sundaresan' in GoogleIdentified as Grigore Rosu

runs on WebDSL