Formal Construction and Verification of Home Service Robots: A Case Study.

Moonzoo Kim, Kyo Chul Kang

Browse the full ATVA paper archive.