| Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories | 0 | 0.34 | 2022 |
| SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. | 0 | 0.34 | 2022 |
| Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems | 0 | 0.34 | 2022 |
| Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications | 0 | 0.34 | 2022 |
| Adaptive parameter tuning for reachability analysis of nonlinear systems | 0 | 0.34 | 2021 |
| Computing Safe Sets of Linear Sampled-Data Systems | 0 | 0.34 | 2021 |
| Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking | 1 | 0.39 | 2021 |
| Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems | 0 | 0.34 | 2021 |
| AROC: a toolbox for automated reachset optimal controller synthesis | 0 | 0.34 | 2021 |
| Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems | 1 | 0.34 | 2021 |
| Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization | 3 | 0.39 | 2021 |
| Comparison of guaranteed state estimators for linear time-invariant systems | 1 | 0.34 | 2021 |
| Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction | 0 | 0.34 | 2021 |
| CommonRoad Scenario Designer - An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. | 0 | 0.34 | 2021 |
| Offline Dynamic Grid Generation For Automotive Environment Perception Using Temporal Inference Methods | 0 | 0.34 | 2021 |
| Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets. | 0 | 0.34 | 2021 |
| Provably-Correct and Comfortable Adaptive Cruise Control | 1 | 0.35 | 2021 |
| Using Online Verification To Prevent Autonomous Vehicles From Causing Accidents | 2 | 0.40 | 2020 |
| Mutual Absolute Calibration of Lidar Mounting Positions on Vehicles using CAD Models. | 0 | 0.34 | 2020 |
| Reachability analysis for hybrid systems with nonlinear guard sets | 0 | 0.34 | 2020 |
| Cooperative Raw Sensor Data Fusion for Ground Truth Generation in Autonomous Driving. | 0 | 0.34 | 2020 |
| Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace | 1 | 0.35 | 2020 |
| Event-Triggered Diffusion Kalman Filters | 1 | 0.36 | 2020 |
| Provably-Safe Cooperative Driving via Invariably Safe Sets | 0 | 0.34 | 2020 |
| Optimizing performance in automation through modular robots. | 0 | 0.34 | 2020 |
| Adaptive Parameter Tuning for Reachability Analysis of Linear Systems | 0 | 0.34 | 2020 |
| Automatic Synthesis of Human Motion from Temporal Logic Specifications. | 0 | 0.34 | 2020 |
| Establishing Reachset Conformance for the Formal Analysis of Analog Circuits | 0 | 0.34 | 2020 |
| Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis | 1 | 0.34 | 2019 |
| Effortless creation of safe robots from modules through self-programming and self-verification. | 3 | 0.41 | 2019 |
| ARCH-COMP19 Category Report - Continuous and Hybrid Systems with Linear Continuous Dynamics. | 0 | 0.34 | 2019 |
| Scalable Robust Model Predictive Control for Linear Sampled-Data Systems | 0 | 0.34 | 2019 |
| Model Conformance for Cyber-Physical Systems: A Survey. | 2 | 0.42 | 2019 |
| ARCH-COMP19 Category Report - Continuous and Hybrid Systems with Nonlinear Dynamics. | 0 | 0.34 | 2019 |
| Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles. | 0 | 0.34 | 2018 |
| Evaluating Location Compliance Approaches for Automated Road Vehicles. | 0 | 0.34 | 2018 |
| On-the-Fly Control Design of Modular Robot Manipulators. | 2 | 0.38 | 2018 |
| Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics. | 0 | 0.34 | 2018 |
| Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles. | 0 | 0.34 | 2018 |
| Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics | 0 | 0.34 | 2018 |
| A Formally Verified Motion Planner for Autonomous Vehicles. | 0 | 0.34 | 2018 |
| Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots | 1 | 0.36 | 2018 |
| Reachset Conformance Testing of Human Arms with a Biomechanical Model | 3 | 0.42 | 2018 |
| Probabilistic Map-based Pedestrian Motion Prediction Taking Traffic Participants into Consideration. | 0 | 0.34 | 2018 |
| Tactical Decision Making for Cooperative Vehicles Using Reachable Sets | 0 | 0.34 | 2018 |
| Reachset Model Predictive Control For Disturbed Nonlinear Systems | 0 | 0.34 | 2018 |
| Efficient Computation Of Invariably Safe States For Motion Planning Of Self-Driving Vehicles | 0 | 0.34 | 2018 |
| ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. | 0 | 0.34 | 2018 |
| Hierarchical Path Planner Using Workspace Decomposition And Parallel Task-Space Rrts | 0 | 0.34 | 2018 |
| ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. | 0 | 0.34 | 2018 |
