Skip to content

CONC: A program for analyzing concurrent robot programs without loops.

Barry Irvin Soroka

VenueA*ICRA
Year1987
ProceedingsICRA

Browse the full ICRA paper archive.