%0 Journal Article %1 journals/firai/FarrellMFDG21 %A Farrell, Marie %A Mavrakis, Nikos %A Ferrando, Angelo %A Dixon, Clare %A Gao, Yang %D 2021 %J Frontiers Robotics AI %K dblp %P 639282 %T Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. %U http://dblp.uni-trier.de/db/journals/firai/firai8.html#FarrellMFDG21 %V 8

@article{journals/firai/FarrellMFDG21, added-at = {2023-11-12T00:00:00.000+0100}, author = {Farrell, Marie and Mavrakis, Nikos and Ferrando, Angelo and Dixon, Clare and Gao, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2c1a8972b9cc7dd7dfd3d104a0ab51e2b/dblp}, ee = {https://doi.org/10.3389/frobt.2021.639282}, interhash = {424e2cbc826008ebe8cde34a211a8732}, intrahash = {c1a8972b9cc7dd7dfd3d104a0ab51e2b}, journal = {Frontiers Robotics AI}, keywords = {dblp}, pages = 639282, timestamp = {2024-04-08T12:04:51.000+0200}, title = {Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.}, url = {http://dblp.uni-trier.de/db/journals/firai/firai8.html#FarrellMFDG21}, volume = 8, year = 2021 }