research
∙
05/03/2023
Specification-Driven Neural Network Reduction for Scalable Formal Verification
Formal verification of neural networks is essential before their deploym...
share
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
∙
09/14/2022
Timor Python: A Toolbox for Industrial Modular Robotics
Development of controllers, novel robot kinematics, and learning-based a...
research
∙
03/17/2022
cRoK: A Composable Robotics Benchmark
Selecting an optimal robot and configuring it for a given task is curren...
research
∙
10/19/2020
