Execution Monitoring of High-Level Robot Programs.

Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski

Browse the full KR paper archive.