Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA)
2024
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA)
2024
Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis
2024 American Control Conference (ACC)
2024
Scalable Reachset-Conformant Identification of Linear Systems
IEEE Control Systems Letters
2024
8
520-525
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
IEEE Transactions on Intelligent Vehicles
2024
1-18
Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations
2024 IEEE Intelligent Vehicle Symposium (IV)
2024
CommonRoad-CARLA Interface: Bridging the Gap between MotionPlanning and 3D Simulation
2024 IEEE Intelligent Vehicles Symposium (IV)
2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
arxiv
2024
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
Proceedings of the IEEE Intelligent Vehicles Symposium (IV)
2024