Case study: Verifying the safety of an autonomous racing car with a neural network controller
Publisher ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Year 2020
Cautious Adaptation For Reinforcement Learning in Safety-Critical Settings
Publisher ICML
Coherent Reconstruction of Multiple Humans From a Single Image
Publisher IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR)
Consensus of Multiagent Systems Via Asynchronous Cloud Communication
Publisher IEEE Transactions on Control of Network Systems
ContactNets: Learning Discontinuous Contact Dynamics with Smooth, Implicit Representations
Publisher CoRL
Control of Quadrotors Using the Hopf Fibration on SO(3)
Publisher Springer
Cooperative team strategies for multi-player perimeter-defense games
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Coordinate-Free Dynamics and Differential Flatness of a Class of 6DOF Aerial Manipulators
Coronal Plane Spine Twisting Composes Shape to Adjust the Energy Landscape for Grounded Reorientation
Publisher IEEE International Conference on Robotics and Automation (ICRA)
DC-CAPT: Concurrent Assignment and Planning of Trajectories for Dubins Cars
