Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Felipe J. Montana, Jun Liu, Tony J. Dodd. Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. In Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti, editors, Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Volume 10471 of Lecture Notes in Computer Science, pages 134-149, Springer, 2017. [doi]

This author has not been identified. Look up 'Felipe J. Montana' in GoogleThis author has not been identified. Look up 'Jun Liu' in GoogleThis author has not been identified. Look up 'Tony J. Dodd' in Google

runs on WebDSL