Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)

摘要: This report documents the program and outcomes of Dagstuhl Seminar 19081 "Verification Synthesis Human-Robot Interaction". seminar brought together researchers from two distinct communities - Formal Methods for Robotics, Interaction to discuss path towards creating safe verifiable autonomous systems that are compatible with humans.