World-in-the-Loop Simulation for Autonomous Systems Validation
Presentation, The IEEE International Conference on Robotics and Automation, Online due to COVID
Talks and Presentations
Feasible and Stressful Trajectory Generation for Mobile Robots
Presentation, The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Online due to COVID
Blending Kinematic and Software Models for Tighter Reachability Analysis
Presentation, International Conference on Software Engineering (ICSE) - New Ideas and Emerging Results (NIER), Online due to COVID