NEXT EVENT Fall 2023 GRASP on Robotics: Nancy Amato, University of Illinois…
Verisig: Verifying safety properties of hybrid systems with neural network controllers
Publisher ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Year 2019
Vision-based Multi-MAV Localization with Anonymous Relative Measurements Using Coupled Probabilistic Data Association Filter
Publisher arXiv
Zero-shot image classification using coupled dictionary embedding
Zoom-in-to-check: Boosting video interpolation via instance-level discrimination
Publisher IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR)
3D Micromolding of Small-Scale Biological Robots
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Year 2018
A complete algorithm for generating safe trajectories for multi-robot teams
Publisher Springer
A dynamical systems approach to distributed eigenvector computation
Publisher IEEE Conference on Decision and Control (CDC)
A flying gripper based on cuboid modular robots
A hybrid dynamical extension of averaging and its application to the analysis of legged gait stability
Publisher International Journal of Robotics Research (IJRR)
A hybrid stochastic game for secure control of cyber-physical systems
Publisher Automatica