Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tumova. Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). In Catalin Dima, Mahsa Shirmohammadi, editors, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12860 of Lecture Notes in Computer Science, pages 1-14, Springer, 2021. [doi]

This author has not been identified. Look up 'Fernando S. Barbosa' in GoogleThis author has not been identified. Look up 'Jesper Karlsson' in GoogleThis author has not been identified. Look up 'Pouria Tajvar' in GoogleThis author has not been identified. Look up 'Jana Tumova' in Google

runs on WebDSL