Christian Pek

IEEE Robotics Autom. Lett., December, 2023

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications.

[BibT_eX]

[DOI]

Georg Friedrich Schuppe

Francesco Esposito

Danica Kragic

Auton. Robots, December, 2023

Safe Data-Driven Model Predictive Control of Systems With Complex Dynamics.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, August, 2023

Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks.

[BibT_eX]

[DOI]

IROS, 2023

VARIQuery: VAE Segment-Based Active Learning for Query Selection in Preference-Based Reinforcement Learning.

[BibT_eX]

[DOI]

IROS, 2023

Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces.

[BibT_eX]

[DOI]

Matti Vahs

José Manuel Gaspar Sánchez

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Aligning Human Preferences with Baseline Objectives in Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Increasing Perceived Safety in Motion Planning for Human-Drone Interaction.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

2022

Human-Feedback Shield Synthesis for Perceived Safety in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Foresee the Unseen: Sequential Reasoning about Hidden Obstacles for Safe Driving.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Evaluating Sequential Reasoning about Hidden Objects in Traffic.

[BibT_eX]

[DOI]

Truls Nyberg

José Manuel Gaspar Sánchez

Martin Törngren

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Correct Me If I'm Wrong: Using Non-Experts to Repair Reinforcement Learning Policies.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

Correct-by-Construction Runtime Enforcement in AI - A Survey.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2021

Using Reachable Sets for Trajectory Planning of Automated Vehicles.

[BibT_eX]

[DOI]

Stefanie Manzinger

IEEE Trans. Intell. Veh., 2021

Provably-Correct and Comfortable Adaptive Cruise Control.

[BibT_eX]

[DOI]

Sebastian Maierhofer

IEEE Trans. Intell. Veh., 2021

Learning Task Constraints in Visual-Action Planning from Demonstrations.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Safe Data-Driven Contact-Rich Manipulation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE-RAS International Conference on Humanoid Robots, 2021

2020

Using online verification to prevent autonomous vehicles from causing accidents.

[BibT_eX]

[DOI]

Nat. Mach. Intell., 2020

CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Provably-Safe Cooperative Driving via Invariably Safe Sets.

[BibT_eX]

[DOI]

Edmond Irani Liu

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2019

Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2018

Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles.

[BibT_eX]

[DOI]

Christina Miller

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Efficient Computation of Invariably Safe States for Motion Planning of Self-Driving Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules.

[BibT_eX]

[DOI]

Peter Zahn

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Enhancing motion safety by identifying safety-critical passageways.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Recheneffiziente Trajektorienoptimierung für Fahrzeuge mittels quadratischem Programm.

[BibT_eX]

[DOI]

Autom., 2016

Simplifying synchronization in cooperative robot tasks - an enhancement of the Manipulation Primitive paradigm.

[BibT_eX]

[DOI]