Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots.

Amy Fang, Hadas Kress-Gazit

Browse the full ICRA paper archive.