Sean Vaskov

1. Bridging the Gap Between Safety and Real-Time Performance in\n Receding-Horizon Trajectory Design for Mobile Robots
   2018/09/18 by Shreyas Kousik, Sean Vaskov, Kousik, Shreyas +7 · 5 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Robotic Path Planning Algorithms #Robotics (cs.RO) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Towards Provably Not-at-Fault Control of Autonomous Robots in Arbitrary\n Dynamic Environments
   2019/02/07 by Sean Vaskov, Shreyas Kousik, Vaskov, Sean +13 · 2 citations
   Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Robotic Path Planning Algorithms #Robotics (cs.RO) #Vehicle Dynamics and Control Systems