{"id":"https://openalex.org/W2789896918","doi":"https://doi.org/10.1109/iros.2018.8594404","title":"Simultaneous Task Allocation and Planning Under Uncertainty","display_name":"Simultaneous Task Allocation and Planning Under Uncertainty","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2789896918","doi":"https://doi.org/10.1109/iros.2018.8594404","mag":"2789896918"},"language":"en","primary_location":{"id":"doi:10.1109/iros.2018.8594404","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2018.8594404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1803.02906","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048658326","display_name":"Fatma Faruq","orcid":"https://orcid.org/0000-0001-6928-0176"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Fatma Faruq","raw_affiliation_strings":["School of Computer Science, University of Birmingham"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036097359","display_name":"David Parker","orcid":"https://orcid.org/0000-0003-4137-8862"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bruno Laccrda","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210116723","display_name":"Robotics Research (United States)","ror":"https://ror.org/020w2fr77","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116723"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Bruno Laccrda","raw_affiliation_strings":["Oxford Robotics Institute, University of Oxford"],"affiliations":[{"raw_affiliation_string":"Oxford Robotics Institute, University of Oxford","institution_ids":["https://openalex.org/I4210116723","https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059686746","display_name":"Nick Hawes","orcid":"https://orcid.org/0000-0002-7556-6098"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210116723","display_name":"Robotics Research (United States)","ror":"https://ror.org/020w2fr77","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116723"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Nick Hawes","raw_affiliation_strings":["Oxford Robotics Institute, University of Oxford"],"affiliations":[{"raw_affiliation_string":"Oxford Robotics Institute, University of Oxford","institution_ids":["https://openalex.org/I4210116723","https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048658326"],"corresponding_institution_ids":["https://openalex.org/I79619799"],"apc_list":null,"apc_paid":null,"fwci":1.0686,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.78667665,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"3559","last_page":"3564"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.7662087678909302},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.7442629933357239},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7260211706161499},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7144648432731628},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6725415587425232},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6460963487625122},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5182999968528748},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.487205445766449},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.4832799732685089},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.45345115661621094},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3462023437023163},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.32928788661956787},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.3129391670227051},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.1911875307559967},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15323546528816223}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7662087678909302},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7442629933357239},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7260211706161499},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7144648432731628},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6725415587425232},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6460963487625122},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.487205445766449},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.4832799732685089},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45345115661621094},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3462023437023163},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.32928788661956787},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.3129391670227051},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.1911875307559967},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15323546528816223},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1109/iros.2018.8594404","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2018.8594404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1803.02906","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1803.02906","pdf_url":"https://arxiv.org/pdf/1803.02906","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2789896918","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1803.02906","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:ora.ox.ac.uk:uuid:0b5fc425-f598-48cc-92c6-525df027525a","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:0b5fc425-f598-48cc-92c6-525df027525a","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:23bdb31b-5218-4fe6-a7e1-2cd871a6c7a2","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:23bdb31b-5218-4fe6-a7e1-2cd871a6c7a2","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/87d92203-b8c6-425e-bd3c-00a3dce9016b","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/87d92203-b8c6-425e-bd3c-00a3dce9016b","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faruq, F, Lacerda, B, Hawes, N & Parker, D 2019, Simultaneous task allocation and planning under uncertainty. in 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Workshop on Intelligent Robots and Systems (IROS) , IEEE Computer Society Press, pp. 3559-3564, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'18), Madrid, Spain, 1/10/18. https://doi.org/10.1109/IROS.2018.8594404","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/87d92203-b8c6-425e-bd3c-00a3dce9016b","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/document/8594404","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faruq , F , Lacerda , B , Hawes , N & Parker , D 2019 , Simultaneous task allocation and planning under uncertainty . in 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE International Workshop on Intelligent Robots and Systems (IROS) , IEEE Computer Society Press , pp. 3559-3564 , IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'18) , Madrid , Spain , 1/10/18 . https://doi.org/10.1109/IROS.2018.8594404","raw_type":"contributionToPeriodical"},{"id":"doi:10.48550/arxiv.1803.02906","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1803.02906","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1803.02906","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1803.02906","pdf_url":"https://arxiv.org/pdf/1803.02906","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"score":0.75,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2513151266","display_name":null,"funder_award_id":"EP/R026084","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G2898516364","display_name":null,"funder_award_id":"EP/R026084","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6465377262","display_name":"Robotics and Artificial Intelligence for Nuclear (RAIN)","funder_award_id":"EP/R026084/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6732448074","display_name":null,"funder_award_id":"EP/R026084/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G8682795926","display_name":null,"funder_award_id":"EP/R007128/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1521003796","https://openalex.org/W1540883472","https://openalex.org/W1544302414","https://openalex.org/W1670739992","https://openalex.org/W1862398452","https://openalex.org/W1970603830","https://openalex.org/W1989407213","https://openalex.org/W2006625750","https://openalex.org/W2009064992","https://openalex.org/W2047632181","https://openalex.org/W2082058270","https://openalex.org/W2117927826","https://openalex.org/W2119083120","https://openalex.org/W2164819104","https://openalex.org/W2245790804","https://openalex.org/W2295887384","https://openalex.org/W2343223723","https://openalex.org/W2482025661","https://openalex.org/W2559954175","https://openalex.org/W2569030807","https://openalex.org/W2607438445","https://openalex.org/W2730530972","https://openalex.org/W2736666525","https://openalex.org/W2757968903","https://openalex.org/W2760578639","https://openalex.org/W2766065250","https://openalex.org/W2804655496","https://openalex.org/W2806837719","https://openalex.org/W2963839271","https://openalex.org/W6631137000","https://openalex.org/W6638944184","https://openalex.org/W6690990499","https://openalex.org/W6697359928","https://openalex.org/W6721983959","https://openalex.org/W6729140667","https://openalex.org/W6732989195","https://openalex.org/W6735647534","https://openalex.org/W6738550474","https://openalex.org/W6744253783","https://openalex.org/W6748721847"],"related_works":["https://openalex.org/W2963352580","https://openalex.org/W2005931190","https://openalex.org/W2967461658","https://openalex.org/W2617782559","https://openalex.org/W1969619508","https://openalex.org/W3205809587","https://openalex.org/W1951679778","https://openalex.org/W2164592713","https://openalex.org/W3193567232","https://openalex.org/W2154417273","https://openalex.org/W2152324823","https://openalex.org/W1542517726","https://openalex.org/W2950650583","https://openalex.org/W3022826494","https://openalex.org/W2116982675","https://openalex.org/W3214258632","https://openalex.org/W3121490723","https://openalex.org/W2008841225","https://openalex.org/W2055397021","https://openalex.org/W2758318878"],"abstract_inverted_index":{"We":[0,42,108],"propose":[1],"novel":[2],"techniques":[3,63],"for":[4],"task":[5],"allocation":[6,17],"and":[7,51,58,64,89,112],"planning":[8],"in":[9,13],"multi-robot":[10,77,118],"systems":[11],"operating":[12],"uncertain":[14],"environments.":[15],"Task":[16],"is":[18],"performed":[19],"simultaneously":[20],"with":[21],"planning,":[22],"which":[23],"provides":[24],"more":[25],"detailed":[26],"information":[27],"about":[28],"individual":[29,86],"robot":[30,49],"behaviour,":[31],"but":[32],"also":[33],"exploits":[34],"independence":[35],"between":[36],"tasks":[37,57,84],"to":[38,47,55,72,82],"do":[39],"so":[40],"efficiently.":[41],"use":[43],"Markov":[44],"decision":[45],"processes":[46],"model":[48],"behaviour":[50],"linear":[52],"temporal":[53],"logic":[54],"specify":[56],"safety":[59],"constraints.":[60],"Building":[61],"upon":[62],"tools":[65],"from":[66],"formal":[67],"verification,":[68],"we":[69],"show":[70],"how":[71],"generate":[73],"a":[74,116],"sequence":[75],"of":[76,99,102],"policies,":[78],"iteratively":[79],"refining":[80],"them":[81],"reallocate":[83],"if":[85],"robots":[87,103],"fail,":[88],"providing":[90],"probabilistic":[91],"guarantees":[92],"on":[93,115],"the":[94,100,105],"performance":[95],"(and":[96],"safe":[97],"operation)":[98],"team":[101],"under":[104],"resulting":[106],"policy.":[107],"implement":[109],"our":[110],"approach":[111],"evaluate":[113],"it":[114],"benchmark":[117],"example.":[119]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}