2024
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles.
IEEE Robotics Autom. Lett., May, 2024
Abstracting road traffic via topological braids: Applications to traffic flow analysis and distributed control.
Int. J. Robotics Res., 2024
Dreaming to Assist: Learning to Align with Human Objectives for Shared Control in High-Speed Racing.
CoRR, 2024
Computational Teaching for Driving via Multi-Task Imitation Learning.
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Think Deep and Fast: Learning Neural Nonlinear Opinion Dynamics from Inverse Dynamic Games for Split-Second Interactions.
CoRR, 2024
Blending Data-Driven Priors in Dynamic Games.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Personalizing Driver Safety Interfaces via Driver Cognitive Factors Inference.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
2023
A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles.
CoRR, 2023
GAME-UP: Game-Aware Mode Enumeration and Understanding for Trajectory Prediction.
,
,
,
,
,
,
,
,
,
,
CoRR, 2023
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning.
CoRR, 2023
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
2022
Learning Latent Traits for Simulated Cooperative Driving Tasks.
CoRR, 2022
Implicit Multiagent Coordination at Uncontrolled Intersections via Topological Braids.
Proceedings of the Algorithmic Foundations of Robotics XV, 2022
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Analyzing Multiagent Interactions in Traffic Scenes via Topological Braids.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Classification of Driving Behaviors Using STL Formulas: A Comparative Study.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
HMIway-env: A Framework for Simulating Behaviors and Preferences to Support Human-AI Teaming in Driving.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022
2021
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features.
IEEE Robotics Autom. Lett., 2021
CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy.
IEEE Robotics Autom. Lett., 2021
The Logical Options Framework.
Proceedings of the 38th International Conference on Machine Learning, 2021
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor.
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021
2020
DiversityGAN: Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
IEEE Robotics Autom. Lett., 2020
Implicit Multi-Agent Coordination at Unsignalized Intersections via Topological Inference.
CoRR, 2020
Discovering Avoidable Planner Failures of Autonomous Vehicles using Counterfactual Analysis in Behaviorally Diverse Simulation.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Interpretable Policies from Formally-Specified Temporal Properties.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Behaviorally Diverse Traffic Simulation via Reinforcement Learning.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Differentiable Logic Layer for Rule Guided Trajectory Prediction.
Proceedings of the 4th Conference on Robot Learning, 2020
2019
Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
CoRR, 2019
Better AI through Logical Scaffolding.
CoRR, 2019
2018
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.
Auton. Robots, 2018
Counterexample-Guided Safety Contracts for Autonomous Driving.
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018
2017
Automated generation of dynamics-based runtime certificates for high-level control.
Discret. Event Dyn. Syst., 2017
Compositional and Contract-Based Verification for Autonomous Driving on Road Networks.
Proceedings of the Robotics Research, The 18th International Symposium, 2017
2016
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2015
A Recursive Receding Horizon Planning for Unmanned Vehicles.
IEEE Trans. Ind. Electron., 2015
Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.
Int. J. Robotics Res., 2015
Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems.
Proceedings of the Robotics Research, 2015
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
2014
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR, 2014
2013
Robust Fault Diagnosis of Aircraft Engines: A Nonlinear Adaptive Estimation-Based Approach.
IEEE Trans. Control. Syst. Technol., 2013
Guaranteeing reactive high-level behaviors for robots with complex dynamics.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
2011
An integrated health and contingency management case study on an autonomous ground robot.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011