%0 Conference Paper %1 conf/sii/NiuJSTC21 %A Niu, Hanlin %A Ji, Ze %A Savvaris, Al %A Tsourdos, Antonios %A Carrasco, Joaquín %B SII %D 2021 %I IEEE %K dblp %P 256-262 %T Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle. %U http://dblp.uni-trier.de/db/conf/sii/sii2021.html#NiuJSTC21 %@ 978-1-7281-7658-1

@inproceedings{conf/sii/NiuJSTC21, added-at = {2021-10-14T00:00:00.000+0200}, author = {Niu, Hanlin and Ji, Ze and Savvaris, Al and Tsourdos, Antonios and Carrasco, Joaquín}, biburl = {https://www.bibsonomy.org/bibtex/22f5b006c6c237c262cb56c9360b1c09f/dblp}, booktitle = {SII}, crossref = {conf/sii/2021}, ee = {https://doi.org/10.1109/IEEECONF49454.2021.9382677}, interhash = {edbaa70b005b416dd6ebccc70f882a18}, intrahash = {2f5b006c6c237c262cb56c9360b1c09f}, isbn = {978-1-7281-7658-1}, keywords = {dblp}, pages = {256-262}, publisher = {IEEE}, timestamp = {2024-04-10T01:07:37.000+0200}, title = {Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle.}, url = {http://dblp.uni-trier.de/db/conf/sii/sii2021.html#NiuJSTC21}, year = 2021 }