NEXT EVENT Spring 2024 GRASP SFI: Harish Ravichandar, Georgia Institute of Technology,…
Verification of hybrid systems
Publisher Handbook of Model Checking
Year 2018
Vertical hopper compositions for preflexive and feedback-stabilized quadrupedal bounding, pacing, pronking, and trotting
Publisher International Journal of Robotics Research (IJRR)
VIO-Swarm:: A swarm of 250g quadrotors
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Visual Inertial Odometry Swarm: An Autonomous Swarm of Vision-Based Quadrotors
Voronoi-Based Coverage Control of Pan/Tilt/Zoom Camera Networks
Publisher IEEE International Conference on Robotics and Automation (ICRA)
6-DoF object pose from semantic keypoints
Year 2017
A decentralized algorithm for assembling structures with modular robots
Publisher IEEE International Conference on Intelligent Robots and Systems (IROS)
A dynamical system for prioritizing and coordinating motivations
Publisher SIAM Journal on Applied Dynamical Systems (SIADS)
A game-theoretic approach to Robust Fusion and Kalman filtering under unknown correlations
Publisher IEEE American Control Conference (ACC)
A Macroscopic Model for Differential Privacy in Dynamic Robotic Networks
Publisher arXiv