ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
EPiC Series in Computing
EasyChair
2024
Efficient Path Planning for Modular Reconfigurable Robots
TBA
IEEE/RSJ International Conference on Intelligent Robots and Systems (2024)
2024
Interaction-Aware Trajectory Repair in Compliance with Formalized Traffic Rules
The 27th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2024)
2024
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design
IEEE Transactions on Intelligent Vehicles
2024
9
1
2262-2275
Inner Approximations of Reachable Sets for Nonlinear Systems using the Minkowski Difference
IEEE Control Systems Letters
IEEE
2024
Generating Robot Capability Maps with Neural Fields
RSS Workshop on Embodiment-Aware Robot Learning
2024
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