Towards language-based verification of robot behaviors.

Anthony Cowley, Camillo J. Taylor

Browse the full IROS paper archive.