research
∙
09/21/2023
Reachability Analysis of ARMAX Models
Reachability analysis is a powerful tool for computing the set of states...
share
research
∙
09/15/2023
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
Industrial robots are designed as general-purpose hardware, which limits...
research
∙
07/26/2023
Formal Verification of Robotic Contact Tasks via Reachability Analysis
Verifying the correct behavior of robots in contact tasks is challenging...
research
∙
05/17/2023
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
Scenarios are a crucial element for developing, testing, and verifying a...
research
∙
05/03/2023
Specification-Driven Neural Network Reduction for Scalable Formal Verification
Formal verification of neural networks is essential before their deploym...
research
∙
03/07/2023
Deep Occupancy-Predictive Representations for Autonomous Driving
Manually specifying features that capture the diversity in traffic envir...
research
∙
03/06/2023
Reducing Safety Interventions in Provably Safe Reinforcement Learning
Deep Reinforcement Learning (RL) has shown promise in addressing complex...
research
∙
02/02/2023
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric
Heterogeneous graphs offer powerful data representations for traffic, gi...
research
∙
12/12/2022
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Reinforcement Learning (RL) can solve complex tasks but does not intrins...
research
∙
10/19/2022
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
While reinforcement learning produces very promising results for many ap...
research
∙
09/19/2022
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
Reachability analysis is a formal method to guarantee safety of dynamica...
research
∙
09/16/2022
Model Predictive Robustness of Signal Temporal Logic Predicates
The robustness of signal temporal logic not only assesses whether a sign...
research
∙
09/14/2022
Timor Python: A Toolbox for Industrial Modular Robotics
Development of controllers, novel robot kinematics, and learning-based a...
research
∙
07/06/2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
We present a novel approach to efficiently compute tight non-convex encl...
research
∙
05/13/2022
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison
Ensuring safety of reinforcement learning (RL) algorithms is crucial for...
research
∙
05/12/2022
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments
Deep reinforcement learning (RL) has shown promising results in the moti...
research
∙
05/12/2022
Contingency-constrained economic dispatch with safe reinforcement learning
Future power systems will rely heavily on micro grids with a high share ...
research
∙
03/17/2022
cRoK: A Composable Robotics Benchmark
Selecting an optimal robot and configuring it for a given task is curren...
research
∙
03/02/2021
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems
We introduce reachability analysis for the formal examination of robots....
research
∙
10/19/2020
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption
Set-based estimation has gained a lot of attention due to its ability to...
research
∙
07/01/2020
Falsification-Based Robust Adversarial Reinforcement Learning
Reinforcement learning (RL) has achieved tremendous progress in solving ...
research
∙
06/22/2020
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
Despite the possibility to quickly compute reachable sets of large-scale...
research
∙
03/26/2020
Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour
Autonomous vehicles (AVs) must share space with human pedestrians, both ...
research
∙
02/26/2020
Pedestrian Models for Autonomous Driving Part I: low level models, from sensing to tracking
Autonomous vehicles (AVs) must share space with human pedestrians, both ...
research
∙
12/01/2017