{"id":"https://openalex.org/W7128511813","doi":"https://doi.org/10.48550/arxiv.2602.06971","title":"Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions","display_name":"Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions","publication_year":2026,"publication_date":"2026-01-09","ids":{"openalex":"https://openalex.org/W7128511813","doi":"https://doi.org/10.48550/arxiv.2602.06971"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.06971","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5125496048","display_name":"Anastasios Manganaris","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manganaris, Anastasios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075631895","display_name":"Vittorio Giammarino","orcid":"https://orcid.org/0000-0001-7082-3262"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giammarino, Vittorio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056336556","display_name":"Ahmed H. Qureshi","orcid":"https://orcid.org/0000-0003-2104-2333"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qureshi, Ahmed H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125543909","display_name":"Suresh Jagannathan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jagannathan, Suresh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.0757,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.95394481,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.33889999985694885,"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.33889999985694885,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.24549999833106995,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.07150000333786011,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7577000260353088},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6628000140190125},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5522000193595886},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5439000129699707},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5401999950408936},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.4934999942779541},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4611000120639801}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7577000260353088},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7224000096321106},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6628000140190125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5769000053405762},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5522000193595886},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5439000129699707},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5401999950408936},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.4934999942779541},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4611000120639801},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44760000705718994},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4311000108718872},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.43059998750686646},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36959999799728394},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3447999954223633},{"id":"https://openalex.org/C43540301","wikidata":"https://www.wikidata.org/wiki/Q689971","display_name":"Paradigm shift","level":2,"score":0.33730000257492065},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C188888258","wikidata":"https://www.wikidata.org/wiki/Q7353390","display_name":"Robot learning","level":4,"score":0.2671000063419342}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.06971","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.06971","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.06971","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.06971","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.49559900164604187}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"As":[0],"hardware":[1],"and":[2,26,88,101,119,157,169,171,182,196],"software":[3],"systems":[4],"have":[5,11,140],"grown":[6],"in":[7,47,143,203],"complexity,":[8],"formal":[9,79,100,138,201],"methods":[10,103,139,202],"been":[12,141],"indispensable":[13],"tools":[14],"for":[15,192,199],"rigorously":[16],"specifying":[17],"acceptable":[18],"behaviors,":[19],"synthesizing":[20],"programs":[21],"to":[22,77,82,90,104,116,176],"meet":[23],"these":[24],"specifications,":[25],"validating":[27],"the":[28,34,51,61,94,106,113,121],"correctness":[29],"of":[30,36,41,53,63,109,123,136,189],"existing":[31],"programs.":[32],"In":[33,92,128],"field":[35],"robotics,":[37],"a":[38,133,187],"similar":[39],"trend":[40],"rising":[42],"complexity":[43],"has":[44,59,74,97],"emerged,":[45],"driven":[46],"large":[48],"part":[49],"by":[50],"adoption":[52],"deep":[54,71],"learning.":[55,205],"While":[56],"this":[57,129],"shift":[58],"enabled":[60],"development":[62],"highly":[64],"performant":[65],"robot":[66,145,180,204],"policies,":[67],"their":[68,167],"implementation":[69],"as":[70],"neural":[72],"networks":[73],"posed":[75],"challenges":[76],"traditional":[78],"analysis,":[80],"leading":[81],"models":[83],"that":[84,194],"are":[85],"inflexible,":[86],"fragile,":[87],"difficult":[89],"interpret.":[91],"response,":[93],"robotics":[95],"community":[96],"introduced":[98],"new":[99],"semi-formal":[102],"support":[105],"precise":[107],"specification":[108],"complex":[110],"objectives,":[111],"guide":[112],"learning":[114,146,156],"process":[115],"achieve":[117],"them,":[118],"enable":[120],"verification":[122],"learned":[124],"policies":[125],"against":[126],"them.":[127],"survey,":[130],"we":[131,162],"provide":[132],"comprehensive":[134],"overview":[135],"how":[137,173],"used":[142],"recent":[144],"research.":[147],"We":[148,184],"organize":[149],"our":[150],"discussion":[151,188],"around":[152],"two":[153],"pillars:":[154],"policy":[155,158],"verification.":[159],"For":[160],"both,":[161],"highlight":[163],"representative":[164],"techniques,":[165],"compare":[166],"scalability":[168],"expressiveness,":[170],"summarize":[172],"they":[174],"contribute":[175],"meaningfully":[177],"improving":[178],"realistic":[179],"safety":[181],"correctness.":[183],"conclude":[185],"with":[186],"remaining":[190],"obstacles":[191],"achieving":[193],"goal":[195],"promising":[197],"directions":[198],"advancing":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-02-11T00:00:00"}