Formal Proofs, Storage Correctness, Integrity Checking, Preservation Logic
ERR@HRI 2.0 Challenge: Multimodal Detection of Errors and Failures in Human-Robot Conversations
arxiv.org·3h
Loading...Loading more...
Formal Proofs, Storage Correctness, Integrity Checking, Preservation Logic