Jul 1, 2020 Automated Driving Design and Evaluation of a Workload‑Adaptive Haptic Shared Control Framework for Semi‑Autonomous Driving Image
Jul 14, 2018 Automated Driving Delta‑Decision Procedures for Exists‑Forall Problems over the Reals Image
Apr 24, 2019 Energy & Materials CRYSTAL: a multi‑agent AI system for automated mapping of materials' crystal structures Image
Dec 14, 2020 Robotics Counter‑example guided synthesis of neural network Lyapunov functions for piecewise linear systems Image
May 26, 2018 Automated Driving Contact‑Aided Invariant Extended Kalman Filtering for Robotic State Estimation Image
