Risk-Aware Motion Planning in Partially Known Environments. | 0 | 0.34 | 2021 |
Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). | 0 | 0.34 | 2021 |
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. | 0 | 0.34 | 2017 |