CASP for Robot Control in Hybrid Domains.

Ryan Young, Marcello Balduccini, Ankush Israney

Browse the full LPNMR paper archive.