%0 Conference Paper %1 conf/ictai/LyonsAJHTT15 %A Lyons, Damian M. %A Arkin, Ronald C. %A Jiang, Shu D. %A Harrington, Dagan %A Tang, Feng %A Tang, Peng %B ICTAI %D 2015 %I IEEE Computer Society %K dblp %P 56-63 %T Probabilistic Verification of Multi-robot Missions in Uncertain Environments. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2015.html#LyonsAJHTT15 %@ 978-1-5090-0163-7

@inproceedings{conf/ictai/LyonsAJHTT15, added-at = {2024-04-15T00:00:00.000+0200}, author = {Lyons, Damian M. and Arkin, Ronald C. and Jiang, Shu D. and Harrington, Dagan and Tang, Feng and Tang, Peng}, biburl = {https://www.bibsonomy.org/bibtex/254569c3c4b2aca597ba7ead0a62ac4d8/dblp}, booktitle = {ICTAI}, crossref = {conf/ictai/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICTAI.2015.22}, interhash = {09a243d8e0281698198667d20c760f44}, intrahash = {54569c3c4b2aca597ba7ead0a62ac4d8}, isbn = {978-1-5090-0163-7}, keywords = {dblp}, pages = {56-63}, publisher = {IEEE Computer Society}, timestamp = {2024-04-22T07:48:15.000+0200}, title = {Probabilistic Verification of Multi-robot Missions in Uncertain Environments.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2015.html#LyonsAJHTT15}, year = 2015 }