4 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using au…