75 citations · 261 across the 31 of their papers we have counts for
1 paper · 2 filters
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…