{"id":"https://openalex.org/W7161034558","doi":"https://doi.org/10.48550/arxiv.2605.12386","title":"SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation","display_name":"SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation","publication_year":2026,"publication_date":"2026-05-12","ids":{"openalex":"https://openalex.org/W7161034558","doi":"https://doi.org/10.48550/arxiv.2605.12386"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.12386","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12386","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.12386","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136070257","display_name":"Chengyue Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Chengyue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102869376","display_name":"Khang Huynh","orcid":"https://orcid.org/0000-0003-4395-2493"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huynh, Khang Vo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136018617","display_name":"Sebastian Elbaum","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Elbaum, Sebastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136061503","display_name":"Zsolt Kira","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kira, Zsolt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136023451","display_name":"Lu Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Lu","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":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T10653","display_name":"Robot Manipulation and Learning","score":0.9699000120162964,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9699000120162964,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10709","display_name":"Social Robot Interaction and HRI","score":0.007699999958276749,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.0044999998062849045,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/benchmark","display_name":"Benchmark (surveying)","score":0.5813000202178955},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5795999765396118},{"id":"https://openalex.org/keywords/safer","display_name":"SAFER","score":0.5394999980926514},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5178999900817871},{"id":"https://openalex.org/keywords/grasp","display_name":"GRASP","score":0.4968000054359436},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.49559998512268066},{"id":"https://openalex.org/keywords/adapter","display_name":"Adapter (computing)","score":0.4731000065803528},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.43380001187324524},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.3871000111103058}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7401000261306763},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5813000202178955},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5795999765396118},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.5394999980926514},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5178999900817871},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.4968000054359436},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.49559998512268066},{"id":"https://openalex.org/C177284502","wikidata":"https://www.wikidata.org/wiki/Q1005390","display_name":"Adapter (computing)","level":2,"score":0.4731000065803528},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4440000057220459},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.43380001187324524},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C2775960376","wikidata":"https://www.wikidata.org/wiki/Q1435859","display_name":"Grippers","level":2,"score":0.38600000739097595},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.3562999963760376},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.35499998927116394},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.3434999883174896},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3411000072956085},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33719998598098755},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.33649998903274536},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.3292999863624573},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3174999952316284},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.30070000886917114},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2937000095844269},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2924000024795532},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.28630000352859497},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C194995250","wikidata":"https://www.wikidata.org/wiki/Q531136","display_name":"Affordance","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C2776151529","wikidata":"https://www.wikidata.org/wiki/Q3045304","display_name":"Object detection","level":3,"score":0.2603999972343445},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.12386","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12386","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":"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":"doi:10.48550/arxiv.2605.12386","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12386","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.4610121250152588,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Robotic":[0],"manipulation":[1,105],"is":[2,36],"typically":[3],"evaluated":[4],"by":[5],"task":[6,64,216],"success,":[7],"but":[8],"successful":[9,187],"completion":[10,65],"does":[11],"not":[12,180],"guarantee":[13],"safe":[14,213],"execution.":[15],"Many":[16],"safety":[17,51,73,106,140,209],"failures":[18,210],"are":[19],"temporal:":[20],"a":[21,25,44,202],"robot":[22],"may":[23],"touch":[24],"clean":[26],"surface":[27],"after":[28],"contamination":[29],"or":[30,66,135,193],"release":[31,114],"an":[32,39],"object":[33,121],"before":[34],"it":[35],"fully":[37],"inside":[38],"enclosure.":[40],"We":[41,148],"introduce":[42],"SafeManip,":[43],"property-driven":[45],"benchmark":[46],"to":[47,90,142],"explicitly":[48],"evaluate":[49,149],"temporal":[50,208],"properties":[52],"in":[53],"robotic":[54],"manipulation,":[55],"moving":[56],"beyond":[57,215],"prior":[58],"evaluations":[59],"that":[60,170],"largely":[61],"focus":[62],"on":[63,151],"per-state":[67],"constraint":[68],"violations.":[69,199],"SafeManip":[70,150,200],"defines":[71],"reusable":[72,203],"templates":[74],"over":[75,82],"finite":[76,83],"executions":[77],"using":[78],"Linear":[79],"Temporal":[80],"Logic":[81],"traces":[84,93],"(LTLf).":[85],"It":[86],"maps":[87],"observed":[88],"rollouts":[89,188],"symbolic":[91],"predicate":[92],"and":[94,109,123,146,159,211],"evaluates":[95],"them":[96],"with":[97,130],"LTLf-based":[98],"monitors.":[99],"Its":[100],"property":[101],"suite":[102],"covers":[103],"eight":[104],"categories:":[107],"collision":[108],"contact":[110],"safety,":[111],"grasp":[112],"stability,":[113,115],"cross-contamination,":[116],"action":[117],"onset,":[118],"mechanism":[119],"recovery,":[120],"containment,":[122],"enclosure":[124],"access.":[125],"Templates":[126],"can":[127],"be":[128],"instantiated":[129],"task-specific":[131],"objects,":[132],"fixtures,":[133],"regions,":[134],"skills,":[136],"allowing":[137],"the":[138],"same":[139],"specifications":[141],"generalize":[143],"across":[144,163],"tasks":[145,196],"environments.":[147],"six":[152],"vision-language-action":[153],"policies,":[154],"including":[155],"$\u03c0_0$,":[156],"$\u03c0_{0.5}$,":[157],"GR00T,":[158],"their":[160],"training":[161],"variants,":[162],"50":[164],"RoboCasa365":[165],"household":[166],"tasks.":[167],"Results":[168],"show":[169],"even":[171],"strong":[172],"models":[173],"often":[174],"behave":[175],"unsafely.":[176],"Task-success":[177],"gains":[178],"do":[179],"reliably":[181],"translate":[182],"into":[183],"safer":[184],"execution:":[185],"many":[186],"remain":[189],"unsafe,":[190],"while":[191],"longer-horizon":[192],"more":[194,198],"complex":[195],"expose":[197],"provides":[201],"evaluation":[204],"layer":[205],"for":[206],"diagnosing":[207],"measuring":[212],"success":[214],"completion.":[217]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-14T00:00:00"}