Search Results for author:
Found 21 papers, 13 papers with code
An Optical Controlling Environment and Reinforcement Learning Benchmarks
Deep reinforcement learning has the potential to address various scientific problems.
Learning from Physical Human Feedback: An Object-Centric One-Shot Adaptation Method
For robots to be effectively deployed in novel environments and tasks, they must be able to understand the feedback expressed by humans during intervention.
Transferable and Adaptable Driving Behavior Prediction
By mimicking humans' cognition model and semantic understanding during driving, we propose HATN, a hierarchical framework to generate high-quality, transferable, and adaptable predictions for driving behaviors in multi-agent dense-traffic environments.
Online Adaptation of Neural Network Models by Modified Extended Kalman Filter for Customizable and Transferable Driving Behavior Prediction
With the feedback of the observed trajectory, the algorithm is applied to neural-network-based models to improve the performance of driving behavior predictions across different human subjects and scenarios.
Learn Zero-Constraint-Violation Policy in Model-Free Constrained Reinforcement Learning
Existing methods mostly use the posterior penalty for dangerous actions, which means that the agent is not penalized until experiencing danger.
Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learning
This paper proposes a novel approach that simultaneously synthesizes the energy-function-based safety certificate and learns the safe control policy with CRL.
Safe Control with Neural Network Dynamic Models
It has been extensively studied regarding how to derive a safe control law with a control-affine analytical dynamic model.
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conference on Computer-Aided Verification (CAV).
Data Efficient Human Intention Prediction: Leveraging Neural Network Verification and Expert Guidance
The proposed framework is applied to an artificial 2D dataset, the MNIST dataset, and a human motion dataset.
A Microscopic Pandemic Simulator for Pandemic Prediction Using Scalable Million-Agent Reinforcement Learning
To efficiently simulate with massive amounts of agents in MPS, we propose Scalable Million-Agent DQN (SMADQN).
Online Verification of Deep Neural Networks under Domain or Weight Shift
These methods are not ready to be applied to real-world problems with complex and/or dynamically changing specifications and networks.
Provably Safe Tolerance Estimation for Robot Arms via Sum-of-Squares Programming
Tolerance estimation problems are prevailing in engineering applications.
Flexible MPC-based Conflict Resolution Using Online Adaptive ADMM
We propose a decentralized conflict resolution method for autonomous vehicles based on a novel extension to the Alternating Directions Method of Multipliers (ADMM), called Online Adaptive ADMM (OA-ADMM), and on Model Predictive Control (MPC).
Augmenting GAIL with BC for sample efficient imitation learning
Behavior cloning and GAIL are two widely used methods for performing imitation learning.
Robust Online Model Adaptation by Extended Kalman Filter with Exponential Moving Average and Dynamic Multi-Epoch Strategy
The challenge motivates the adoption of online adaptation algorithms to update prediction models in real-time to improve the prediction performance.
Adaptable Human Intention and Trajectory Prediction for Human-Robot Collaboration
The effectiveness and flexibility of the proposed method has been validated in experiments.
Robotics
Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions
In different methods, the energy function is called a potential function, a safety index, or a barrier function.
Algorithms for Verifying Deep Neural Networks
Deep neural networks are widely used for nonlinear function approximation with applications ranging from computer vision to control.
Simulating Emergent Properties of Human Driving Behavior Using Multi-Agent Reward Augmented Imitation Learning
Recent developments in multi-agent imitation learning have shown promising results for modeling the behavior of human drivers.
Robot Safe Interaction System for Intelligent Industrial Co-Robots
Human-robot interactions have been recognized to be a key element of future industrial collaborative robots (co-robots).
Robotics Systems and Control
The Convex Feasible Set Algorithm for Real Time Optimization in Motion Planning
The idea is to find a convex feasible set for the original problem and iteratively solve a sequence of subproblems using the convex constraints.
Optimization and Control Robotics
