[CORA] Reachability Analysis for Continuous Systems: Step-By-Step Construction
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Step-By-Step Construction
1:46
A General Safety Framework for Autonomous Manipulation in Human Environments
TUM Cyber-Physical Systems
A General Safety Framework for Autonomous Manipulation in Human Environments
11:14
[CORA] Set-Based Computing: Zonotopes
TUM Cyber-Physical Systems
[CORA] Set-Based Computing: Zonotopes
1:31
[CORA] Formal Verification of Neural Networks: CartPole
TUM Cyber-Physical Systems
[CORA] Formal Verification of Neural Networks: CartPole
1:06
ATLAS-L4 | 🚛 The future of freight transport is autonomous — and safer
TUM Cyber-Physical Systems
ATLAS-L4 | 🚛 The future of freight transport is autonomous — and safer
0:51
IEEE TRO | Traffic-Rule-Compliant Trajectory Repair via SMT and Reachability Analysis
TUM Cyber-Physical Systems
IEEE TRO | Traffic-Rule-Compliant Trajectory Repair via SMT and Reachability Analysis
2:18
[CORA] Set-Based Computing: Layer Propagation
TUM Cyber-Physical Systems
[CORA] Set-Based Computing: Layer Propagation
1:55
[CORA] Reachability Analysis for Continuous Systems: Discrete Time Systems
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Discrete Time Systems
1:07
[CORA] Identification of Reachset-Conformant Models
TUM Cyber-Physical Systems
[CORA] Identification of Reachset-Conformant Models
1:04
No More Traffic Tickets: A Tutorial to Ensure Traffic-Rule Compliance of Automated Vehicles
TUM Cyber-Physical Systems
No More Traffic Tickets: A Tutorial to Ensure Traffic-Rule Compliance of Automated Vehicles
3:07
[CORA] Set-Based Computing: Pick your Fighter
TUM Cyber-Physical Systems
[CORA] Set-Based Computing: Pick your Fighter
1:21
[CORA] Backward Reachability Analysis for Linear Systems
TUM Cyber-Physical Systems
[CORA] Backward Reachability Analysis for Linear Systems
1:04
[CORA] Formal Verification of Neural Networks: Set-Based Layer Propagation
TUM Cyber-Physical Systems
[CORA] Formal Verification of Neural Networks: Set-Based Layer Propagation
1:23
NeurIPS 2024 Excluding the Irrelevant: Focusing RL Through Continuous Action Masking
TUM Cyber-Physical Systems
NeurIPS 2024 Excluding the Irrelevant: Focusing RL Through Continuous Action Masking
4:59
[CORA] Set-Based Computing: Example
TUM Cyber-Physical Systems
[CORA] Set-Based Computing: Example
1:13
[CORA] Formal Verification of Neural Networks: Training Robust RL Agents against Input Perturbations
TUM Cyber-Physical Systems
[CORA] Formal Verification of Neural Networks: Training Robust RL Agents against Input Perturbations
1:25
[CORA] Reachability Analysis for Continuous Systems: Transmission Line
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Transmission Line
1:05
[CORA] Formal Verification of Neural Networks: Set-Based Training for Neural Network Verification
TUM Cyber-Physical Systems
[CORA] Formal Verification of Neural Networks: Set-Based Training for Neural Network Verification
1:22
[CORA] Reachability Analysis for Continuous Systems: Autonomous Car
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Autonomous Car
1:06
CONCERT sara-shield integration demo
TUM Cyber-Physical Systems
CONCERT sara-shield integration demo
0:56
[CORA] Formal Verification of Neural Networks: Unicycle Steering to a Goal Set
TUM Cyber-Physical Systems
[CORA] Formal Verification of Neural Networks: Unicycle Steering to a Goal Set
1:18
How robots can react to our preferences.
TUM Cyber-Physical Systems
How robots can react to our preferences.
6:16
[CORA] Reachability Analysis for Continuous Systems: Adaptive Algorithm for Linear Systems
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Adaptive Algorithm for Linear Systems
1:07
2024 CPS Workshop in Berchtesgaden, Germany
TUM Cyber-Physical Systems
2024 CPS Workshop in Berchtesgaden, Germany
2:43
[CommonRoad] Specification-Compliant Reachability Analysis Using On-the-Fly Model Checking
TUM Cyber-Physical Systems
[CommonRoad] Specification-Compliant Reachability Analysis Using On-the-Fly Model Checking
0:50
[EDGAR] Autonomous Campus Ride with CommonRoad
TUM Cyber-Physical Systems
[EDGAR] Autonomous Campus Ride with CommonRoad
1:05
[CORA] Reachability Analysis for Continuous Systems: Beam Benchmark
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Beam Benchmark
1:06
[CORA] Reachability Analysis for Hybrid Systems: Bouncing Ball
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Hybrid Systems: Bouncing Ball
1:04
[CORA] Formal Verification of Neural Networks: NN-Controlled Car Keeps Safe Distance
TUM Cyber-Physical Systems
[CORA] Formal Verification of Neural Networks: NN-Controlled Car Keeps Safe Distance
1:07
[EDGAR] Real Vehicle Motion Planning using CommonRoad and Autoware
TUM Cyber-Physical Systems
[EDGAR] Real Vehicle Motion Planning using CommonRoad and Autoware
0:38
[KoSi] Real-World Demonstration of Cooperative Platooning with Automated Vehicles
TUM Cyber-Physical Systems
[KoSi] Real-World Demonstration of Cooperative Platooning with Automated Vehicles
1:57
[CORA] Reachability Analysis for Continuous Systems: Van-der-Pol Oscillator
TUM Cyber-Physical Systems
[CORA] Reachability Analysis for Continuous Systems: Van-der-Pol Oscillator
1:10
DrPlanner 🩺: Diagnosis and Repair of Motion Planners Using Large Language Models
TUM Cyber-Physical Systems
DrPlanner 🩺: Diagnosis and Repair of Motion Planners Using Large Language Models
2:49
IEEE RAL 2023 - Model Predictive Robustness of Signal Temporal Logic Predicates
TUM Cyber-Physical Systems
IEEE RAL 2023 - Model Predictive Robustness of Signal Temporal Logic Predicates
2:19
Robotarium experiments for safe RL with probabilistic guarantees satisfying STL specifications
TUM Cyber-Physical Systems
Robotarium experiments for safe RL with probabilistic guarantees satisfying STL specifications
1:12
AROC Demo: Motion Planning with Safety Guarantees
TUM Cyber-Physical Systems
AROC Demo: Motion Planning with Safety Guarantees
1:15
Reducing Safety Interventions in Provably Safe Reinforcement Learning
TUM Cyber-Physical Systems
Reducing Safety Interventions in Provably Safe Reinforcement Learning
0:43
Experiments with Provably Safe Reinforcement Learning using Reachability Analysis for Verification
TUM Cyber-Physical Systems
Experiments with Provably Safe Reinforcement Learning using Reachability Analysis for Verification
1:49
Incredible Human-Robot Interaction: Watch What Happens When I Punch It!
TUM Cyber-Physical Systems
Incredible Human-Robot Interaction: Watch What Happens When I Punch It!
1:30
How SaRA changes the way we work with robots. (ICRA'22)
TUM Cyber-Physical Systems
How SaRA changes the way we work with robots. (ICRA'22)
4:00
IEEE ITSC 2022 - CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles
TUM Cyber-Physical Systems
IEEE ITSC 2022 - CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles
10:27
IEEE ITSC 2022 - Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets
TUM Cyber-Physical Systems
IEEE ITSC 2022 - Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets
12:46
IEEE ITSC 2022 - CommonOcean: Composable Benchmarks for Motion Planning on Oceans
TUM Cyber-Physical Systems
IEEE ITSC 2022 - CommonOcean: Composable Benchmarks for Motion Planning on Oceans
13:07
Safe Reinforcement Learning on a Real Robot!
TUM Cyber-Physical Systems
Safe Reinforcement Learning on a Real Robot!
2:50
ITSC 2022 - Minimum-Violation Velocity Planning with Temporal Logic Constraints
TUM Cyber-Physical Systems
ITSC 2022 - Minimum-Violation Velocity Planning with Temporal Logic Constraints
13:30
IEEE IV2022 - Workshop on the Second CommonRoad Motion Planning Competition
TUM Cyber-Physical Systems
IEEE IV2022 - Workshop on the Second CommonRoad Motion Planning Competition
1:08:21
ICRA 2022 - Provably Safe RL for Manipulation next to Humans
TUM Cyber-Physical Systems
ICRA 2022 - Provably Safe RL for Manipulation next to Humans
3:54
IEEE IV 2022 - Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories
TUM Cyber-Physical Systems
IEEE IV 2022 - Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories
2:38
IEEE IV 2020 - Formalization of Interstate Traffic Rules in Temporal Logic
TUM Cyber-Physical Systems
IEEE IV 2020 - Formalization of Interstate Traffic Rules in Temporal Logic
12:50
ICRA 2022 Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments
TUM Cyber-Physical Systems
ICRA 2022 Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments
3:00
IROS 2021 - Online Verification of Impact-Force-Limiting Control for pHRI
TUM Cyber-Physical Systems
IROS 2021 - Online Verification of Impact-Force-Limiting Control for pHRI
10:47
ICRA 2020 - Optimizing performance in automation through modular robots
TUM Cyber-Physical Systems
ICRA 2020 - Optimizing performance in automation through modular robots
9:47
IEEE IV 2021 - Computing Specification-Compliant Reachable Sets for Motion Planning
TUM Cyber-Physical Systems
IEEE IV 2021 - Computing Specification-Compliant Reachable Sets for Motion Planning
10:21
IEEE IV 2020 - Provably-safe Cooperative Driving via Invariably Safe Sets
TUM Cyber-Physical Systems
IEEE IV 2020 - Provably-safe Cooperative Driving via Invariably Safe Sets
11:37
ITSC 2020 - Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles
TUM Cyber-Physical Systems
ITSC 2020 - Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles
11:04
ITSC 2021-Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets
TUM Cyber-Physical Systems
ITSC 2021-Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets
15:05
HSCC 2020 - Utilizing Dependencies to Obtain Subsets of Reachable Sets
TUM Cyber-Physical Systems
HSCC 2020 - Utilizing Dependencies to Obtain Subsets of Reachable Sets
20:17
HSCC 2020 - Reachability Analysis for Hybrid Systems with Nonlinear Guard Sets
TUM Cyber-Physical Systems
HSCC 2020 - Reachability Analysis for Hybrid Systems with Nonlinear Guard Sets
19:43
HSCC 2021 - AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
TUM Cyber-Physical Systems
HSCC 2021 - AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
28:25
CDC2020-Computing Nonconvex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
TUM Cyber-Physical Systems
CDC2020-Computing Nonconvex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
13:06
ITSC2021-CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of AVs
TUM Cyber-Physical Systems
ITSC2021-CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of AVs
12:14
IEEE ITSC 2020 - Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction
TUM Cyber-Physical Systems
IEEE ITSC 2020 - Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction
11:27
IEEE IV 2021 - Temporal Logic Formalization of Marine Traffic Rules
TUM Cyber-Physical Systems
IEEE IV 2021 - Temporal Logic Formalization of Marine Traffic Rules
12:52
IEEE ITSC 2021 - Sampling-Based Trajectory Repairing for Autonomous Vehicles
TUM Cyber-Physical Systems
IEEE ITSC 2021 - Sampling-Based Trajectory Repairing for Autonomous Vehicles
12:10
CommonRoad Scenario Designer: GUI overview
TUM Cyber-Physical Systems
CommonRoad Scenario Designer: GUI overview
2:56
SciRob 2019 - Safe robots from modules through self-programming and self-verification
TUM Cyber-Physical Systems
SciRob 2019 - Safe robots from modules through self-programming and self-verification
2:12
CommonRoad: COMposable benchmarks for Motion planning ON Roads
TUM Cyber-Physical Systems
CommonRoad: COMposable benchmarks for Motion planning ON Roads
1:17