3 accepted papers
Designing reliable upper-limb human-machine interfaces (HMIs) with low attentional demand requires strengthening the proprioceptive-motor pathway (PMP). We propose a closed-loop multimodal sensory training that maps three robot joint angles to six bidirectional electrotactile channels and combines v…
Formal models are essential to specifying large, complex computer systems and verifying their correctness, but are notoriously expensive to write and maintain. Recent advances in generative AI show promise in generating certain forms of specifications. However, existing work mostly targets small cod…
With the increasing presence of automated vehicles on open roads under driver supervision, disengagement cases are becoming more prevalent. While some data-driven planning systems attempt to directly utilize these disengagement cases for policy improvement, the inherent scarcity of disengagement dat