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]
@inproceedings{BarbosaKTT21,
title = {Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)},
author = {Fernando S. Barbosa and Jesper Karlsson and Pouria Tajvar and Jana Tumova},
year = {2021},
doi = {10.1007/978-3-030-85037-1_1},
url = {https://doi.org/10.1007/978-3-030-85037-1_1},
researchr = {https://researchr.org/publication/BarbosaKTT21},
cites = {0},
citedby = {0},
pages = {1-14},
booktitle = {Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings},
editor = {Catalin Dima and Mahsa Shirmohammadi},
volume = {12860},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-85037-1},
}