Dejanira Araiza-Illan, Michael Fisher 0001, Kevin Leahy 0001, Joanna Isabelle Olszewska, Signe A. Redfield. Verification of Autonomous Systems [TC Spotlight]. IEEE Robot. Automat. Mag., 29(1):99-101, 2022. [doi]
@article{Araiza-IllanFLO22,
title = {Verification of Autonomous Systems [TC Spotlight]},
author = {Dejanira Araiza-Illan and Michael Fisher 0001 and Kevin Leahy 0001 and Joanna Isabelle Olszewska and Signe A. Redfield},
year = {2022},
doi = {10.1109/MRA.2022.3143966},
url = {https://doi.org/10.1109/MRA.2022.3143966},
researchr = {https://researchr.org/publication/Araiza-IllanFLO22},
cites = {0},
citedby = {0},
journal = {IEEE Robot. Automat. Mag.},
volume = {29},
number = {1},
pages = {99-101},
}