Matthias Althoff

361 papers A* 16A 20B 18C 32Misc 1Journal 146Unranked 120
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Comparison of Set-Based Observers for Nonlinear Systems.
CoRR
Nico Holzinger, Matthias Althoff
2026 J jnl
BSAT: B-Spline Adaptive Tokenizer for Long-Term Time Series Forecasting.
CoRR
Maximilian Reinwardt, Michael Eichelbeck, Matthias Althoff
2026 J jnl
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation.
IEEE Trans. Autom. Control.
Mark Wetzlinger, Matthias Althoff
2026 J jnl
CommonPower: A Framework for Safe Data-Driven Smart Grid Control.
IEEE Trans. Smart Grid
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
2026 J jnl
Efficiently Ensuring Traffic Rule Compliance of Motion Plans by Incorporating Scenario Knowledge.
IEEE Trans. Intell. Transp. Syst.
Florian Lercher, Paul Reisenberg, Matthias Althoff
2026 J jnl
Holistic Optimization of Modular Robots.
IEEE Trans Autom. Sci. Eng.
Matthias Mayer, Matthias Althoff
2026 A* conf
Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions.
AAAI
Roland Stolz, Michael Eichelbeck, Matthias Althoff
2026 J jnl
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis.
CoRR
Tobias Ladner, Yasser Shoukry, Matthias Althoff
2026 J jnl
Provably Explaining Neural Additive Models.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz
2026 J jnl
Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment?
Trans. Mach. Learn. Res.
Hannah Markgraf, Shambhuraj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff
2025 J jnl
A Design Co-Pilot for Task-Tailored Manipulators.
CoRR
Jonathan Külz, Sehoon Ha, Matthias Althoff
2025 J jnl
Approximability of the Containment Problem for Zonotopes and Ellipsotopes.
IEEE Trans. Autom. Control.
Adrian Kulmburg, Lukas Schäfer, Matthias Althoff
2025 J jnl
Automatic Geometric Decomposition for Analytical Inverse Kinematics.
IEEE Robotics Autom. Lett.
Daniel Ostermeier, Jonathan Külz, Matthias Althoff
2025 A conf
Collision Mass Map for Safe and Efficient Human-Robot Interaction.
IROS
Julian Balletshofer, Robin Jeanne Kirschner, Matthias Althoff
2025 — conf
Determining Invariably Rule-Compliant States for Motion Planning of Autonomous Vehicles.
ITSC
Youran Wang, Matthias Althoff
2025 — conf
Efficient Driving Corridor Extraction for Autonomous Vehicles Using Best-First Reachability Analysis.
ITSC
Florian Lercher, Matthias Althoff
2025 — conf
Enhanced Traffic Rule Monitoring Using Model-Predictive and Duration-Aware Robustness.
ITSC
Florian Finkeldei, Michael Wolf, Jan-Niklas Weghorn, Alexander Pretschner, Matthias Althoff
2025 A* conf
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
ICML
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Falsification-Driven Reinforcement Learning for Maritime Motion Planning.
CoRR
Marlon Müller, Florian Finkeldei, Hanna Krasowski, Murat Arcak, Matthias Althoff
2025 J jnl
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.
Trans. Mach. Learn. Res.
Tobias Ladner, Michael Eichelbeck, Matthias Althoff
2025 A conf
Formally Verifying Analog Neural Networks with Device Mismatch Variations.
DATE
Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich
2025 J jnl
From Demonstrations to Safe Deployment: Path-Consistent Safety Filtering for Diffusion Policies.
CoRR
Ralf Römer, Julian Balletshofer, Jakob Thumm, Marco Pavone, Angela P. Schoellig, Matthias Althoff
2025 B conf
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes.
iFM
Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer, Matthias Althoff
2025 J jnl
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes.
CoRR
Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer, Matthias Althoff
2025 J jnl
Fully Automatic Neural Network Reduction for Formal Verification.
Trans. Mach. Learn. Res.
Tobias Ladner, Matthias Althoff
2025 J jnl
Holistic Construction Automation With Modular Robots: From High-Level Task Specification to Execution.
IEEE Trans Autom. Sci. Eng.
Jonathan Külz, Michael Terzer, Marco Magri, Andrea Giusti, Matthias Althoff
2025 J jnl
Holistic Optimization of Modular Robots.
CoRR
Matthias Mayer, Matthias Althoff
2025 J jnl
Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions.
CoRR
Roland Stolz, Michael Eichelbeck, Matthias Althoff
2025 J jnl
Intelligent Sailing Model for Open Sea Navigation.
CoRR
Hanna Krasowski, Stefan Schärdinger, Murat Arcak, Matthias Althoff
2025 J jnl
Language Models That Walk the Talk: A Framework for Formal Fairness Certificates.
CoRR
Danqing Chen, Tobias Ladner, Ahmed Rayen Mhadhbi, Matthias Althoff
2025 J jnl
Offline Object Tracking With Joint Point Cloud Registration.
IEEE Trans. Intell. Veh.
Egon Ye, Matthias Althoff
2025 J jnl
Out of the Shadows: Exploring a Latent Space for Neural Network Verification.
CoRR
Lukas Koller, Tobias Ladner, Matthias Althoff
2025 J jnl
Predictive Traffic Rule Compliance using Reinforcement Learning.
CoRR
Yanliang Huang, Sebastian Mair, Zhuoqi Zeng, Amr Alanwar, Matthias Althoff
2025 J jnl
Provably Safe Reinforcement Learning from Analytic Gradients.
CoRR
Tim Walter, Hannah Markgraf, Jonathan Külz, Matthias Althoff
2025 J jnl
PyTupli: A Scalable Infrastructure for Collaborative Offline Reinforcement Learning Projects.
CoRR
Hannah Markgraf, Michael Eichelbeck, Daria Cappey, Selin Demirtürk, Yara Schattschneider, Matthias Althoff
2025 C conf
Recursive Identification of Reachset-Conformant Models using Constraint Underapproximation.
ACC
Laura Lützow, Matthias Althoff
2025 J jnl
Results of the 2024 CommonRoad Motion Planning Competition for Autonomous Vehicles.
CoRR
Yanliang Huang, Xia Yan, Peiran Yin, Zhenduo Zhang, Zeyan Shao, Youran Wang, Haoliang Huang, Matthias Althoff
2025 — conf
Robust Optimal Control Using Set-based Reachability Analysis.
ECC
Lukas Schäfer, Matthias Althoff
2025 J jnl
Safe Reinforcement Learning using Action Projection: Safeguard the Policy or the Environment?
CoRR
Hannah Markgraf, Shamburaj Sawant, Hanna Krasowski, Lukas Schäfer, Sebastien Gros, Matthias Althoff
2025 J jnl
SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis.
CoRR
Yuanfei Lin, Sebastian Illing, Matthias Althoff
2025 J jnl
Set-Based Training for Neural Network Verification.
Trans. Mach. Learn. Res.
Lukas Koller, Tobias Ladner, Matthias Althoff
2025 J jnl
Smart Placement, Faster Robots - A Comparison of Algorithms for Robot Base-Pose Optimization.
CoRR
Matthias Mayer, Matthias Althoff
2025 J jnl
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis.
IEEE Trans. Robotics
Yuanfei Lin, Zekun Xing, Xuyuan Han, Matthias Althoff
2025 J jnl
Training robust neural networks for uncertainty prediction in stamping technology.
Autom.
Lukas Koller, Christoph Hartmann, Lukas Martinitz, Wolfram Volk, Matthias Althoff
2025 A* conf
Trajectory Planning with Signal Temporal Logic Costs Using Deterministic Path Integral Optimization.
ICRA
Patrick Halder, Hannes Homburger, Lothar Kiltz, Johannes Reuter, Matthias Althoff
2025 J jnl
Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization.
CoRR
Patrick Halder, Hannes Homburger, Lothar Kiltz, Johannes Reuter, Matthias Althoff
2025 — conf
Transformer-Based Assessment of Driving Corridors for Motion Planning of Automated Vehicles.
ITSC
Gerald Würsching, Tobias Mascetta, Sammy Breen, Matthias Althoff
2025 J jnl
Underapproximative Methods for the Order Reduction of Zonotopes.
IEEE Control. Syst. Lett.
Laura Lützow, Niklas Kochdumper, Matthias Althoff
2025 — conf
Wind Turbine Fault Classification Based on Reconstruction Errors of SCADA Data.
e-Energy
Michael Eichelbeck, Max Adam, Kenneth Laureys, Milena Zurmühl, Matthias Althoff
2025 J jnl
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks.
CoRR
Laura Lützow, Michael Eichelbeck, Mykel J. Kochenderfer, Matthias Althoff
2025 J jnl
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks.
J. Mach. Learn. Res.
Laura Lützow, Michael Eichelbeck, Mykel J. Kochenderfer, Matthias Althoff
2024 J jnl
A General Safety Framework for Autonomous Manipulation in Human Environments.
CoRR
Jakob Thumm, Julian Balletshofer, Leonardo Maglanoc, Luis Muschal, Matthias Althoff
2024 J jnl
Automatic Geometric Decomposition for Analytical Inverse Kinematics.
CoRR
Daniel Ostermeier, Jonathan Külz, Matthias Althoff
2024 A* conf
CoBRA: A Composable Benchmark for Robotics Applications.
ICRA
Matthias Mayer, Jonathan Külz, Matthias Althoff
2024 J jnl
CommonPower: Supercharging Machine Learning for Smart Grids.
CoRR
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
2024 C conf
CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation.
IV
Sebastian Maierhofer, Matthias Althoff
2024 C conf
Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis.
ACC
Lukas Schäfer, Matthias Althoff
2024 J jnl
DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models.
CoRR
Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff
2024 J jnl
DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models.
IEEE Robotics Autom. Lett.
Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff
2024 A conf
Efficient Path Planning for Modular Reconfigurable Robots.
IROS
Matthias Mayer, Zihao Li, Matthias Althoff
2024 A conf
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks.
IROS
Chencheng Tang, Matthias Althoff
2024 J jnl
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks.
CoRR
Chencheng Tang, Matthias Althoff
2024 J jnl
End-To-End Set-Based Training for Neural Network Verification.
CoRR
Lukas Koller, Tobias Ladner, Matthias Althoff
2024 A* conf
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking.
NeurIPS
Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff
2024 J jnl
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking.
CoRR
Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff
2024 A* conf
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.
AAAI
Tobias Ladner, Matthias Althoff
2024 J jnl
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.
CoRR
Tobias Ladner, Michael Eichelbeck, Matthias Althoff
2024 J jnl
Goal-Oriented Pedestrian Motion Prediction.
IEEE Trans. Intell. Transp. Syst.
Jingyuan Wu, Johannes Ruenz, Hendrik Berkemeyer, Liza Dixon, Matthias Althoff
2024 J jnl
Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution.
CoRR
Jonathan Külz, Michael Terzer, Marco Magri, Andrea Giusti, Matthias Althoff
2024 A* conf
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration.
ICRA
Jakob Thumm, Felix Trost, Matthias Althoff
2024 J jnl
Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference.
IEEE Control. Syst. Lett.
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
2024 — conf
Interaction-Aware Trajectory Repair in Compliance with Formalized Traffic Rules.
ITSC
Youran Wang, Yuanfei Lin, Matthias Althoff
2024 A* conf
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach.
ICRA
Jonathan Külz, Matthias Althoff
2024 J jnl
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea.
CoRR
Hanna Krasowski, Matthias Althoff
2024 J jnl
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea.
IEEE Trans. Intell. Veh.
Hanna Krasowski, Matthias Althoff
2024 C conf
Provably Correct Safety Protocol for Cooperative Platooning.
IV
Sebastian Mair, Matthias Althoff
2024 J jnl
Publishers' Note to "Distributed set-based observers using diffusion strategies" [Journal of the Franklin Institute 360 (2023) 6976-6993].
J. Frankl. Inst.
Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
2024 J jnl
Reachset-Conformant System Identification.
CoRR
Laura Lützow, Matthias Althoff
2024 J jnl
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design.
IEEE Trans. Intell. Veh.
Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff
2024 J jnl
Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles.
CoRR
Niklas Kochdumper, Youran Wang, Johannes Betz, Matthias Althoff
2024 C conf
Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning.
IV
Gerald Würsching, Matthias Althoff
2024 C conf
Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations.
IV
Tobias Mascetta, Edmond Irani Liu, Matthias Althoff
2024 J jnl
Safe Reinforcement Learning for Automated Vehicles via Online Reachability Analysis.
IEEE Trans. Intell. Veh.
Xiao Wang, Matthias Althoff
2024 J jnl
Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems.
IEEE Trans. Autom. Control.
Lukas Schäfer, Felix Gruber, Matthias Althoff
2024 J jnl
Scalable Reachset-Conformant Identification of Linear Systems.
IEEE Control. Syst. Lett.
Laura Lützow, Matthias Althoff
2024 — conf
Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems.
ECC
Adrian Kulmburg, Ivan Brkan, Matthias Althoff
2024 C conf
Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework.
IV
Gerald Würsching, Tobias Mascetta, Yuanfei Lin, Matthias Althoff
2024 C conf
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking.
IV
Florian Lercher, Matthias Althoff
2024 J jnl
Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode.
CoRR
Philipp Gassert, Matthias Althoff
2024 Misc conf
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction.
CoRL
Jakob Thumm, Christopher Agia, Marco Pavone, Matthias Althoff
2024 J jnl
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction.
CoRR
Jakob Thumm, Christopher Agia, Marco Pavone, Matthias Althoff
2024 J jnl
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis.
CoRR
Yuanfei Lin, Zekun Xing, Xuyuan Han, Matthias Althoff
2024 J jnl
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning.
CoRR
Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff
2024 — conf
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems.
CAV (3)
Florian Lercher, Matthias Althoff
2023 — conf
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
2023 — conf
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.
HSCC
Tobias Ladner, Matthias Althoff
2023 — conf
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad.
ITSC
Yuanfei Lin, Michael Ratzel, Matthias Althoff
2023 J jnl
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad.
CoRR
Yuanfei Lin, Michael Ratzel, Matthias Althoff
2023 J jnl
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation.
CoRR
Mark Wetzlinger, Matthias Althoff
2023 — conf
Checking and Establishing Reachset Conformance in CORA 2023.
ARCH
Matthias Althoff
2023 C conf
CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles.
IV
Yuanfei Lin, Matthias Althoff
2023 J jnl
Computation of Solution Spaces for Optimization-Based Trajectory Planning.
IEEE Trans. Intell. Veh.
Lukas Schäfer, Stefanie Manzinger, Matthias Althoff
2023 J jnl
Constrained polynomial zonotopes.
Acta Informatica
Niklas Kochdumper, Matthias Althoff
2023 J jnl
Cooperative interacting automobiles.
Autom.
Christoph Stiller, Matthias Althoff
2023 A* conf
Deep Occupancy-Predictive Representations for Autonomous Driving.
ICRA
Eivind Meyer, Lars Frederik Peiss, Matthias Althoff
2023 J jnl
Deep Occupancy-Predictive Representations for Autonomous Driving.
CoRR
Eivind Meyer, Lars Frederik Peiss, Matthias Althoff
2023 J jnl
Distributed set-based observers using diffusion strategies.
J. Frankl. Inst.
Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
2023 J jnl
EDGAR: An Autonomous Driving Research Platform - From Feature Development to Real-World Application.
CoRR
Phillip Karle, Tobias Betz, Marcin Bosk, Felix Fent, Nils Gehrke, Maximilian Geisslinger, Luis Gressenbuch, Philipp Hafemann, Sebastian Huber, Maximilian Hübner, Sebastian Huch, Gemb Kaljavesi, Tobias Kerbl, Dominik Kulmer, Tobias Mascetta, Sebastian Maierhofer, Florian Pfab, Filip Rezabek, Esteban Rivera, Simon Sagmeister, Leander Seidlitz, Florian Sauerbeck, Ilir Tahiraj, Rainer Trauth, Nico Uhlemann, Gerald Würsching, Baha Zarrouki, Matthias Althoff, Johannes Betz, Klaus Bengler, Georg Carle, Frank Diermeyer, Jörg Ott, Markus Lienkamp
2023 J jnl
Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios.
IEEE Trans. Intell. Veh.
Moritz Klischat, Matthias Althoff
2023 J jnl
Formal Verification of Robotic Contact Tasks via Reachability Analysis.
CoRR
Chencheng Tang, Matthias Althoff
2023 J jnl
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges.
Autom.
Noushin Mehdipour, Matthias Althoff, Radboud J. Duintjer Tebbens, Calin Belta
2023 J jnl
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.
IEEE Trans. Autom. Control.
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2023 — conf
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.
HSCC
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2023 C conf
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric.
IV
Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff
2023 J jnl
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric.
CoRR
Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff
2023 — conf
Graph-Based Autonomous Driving with Traffic-Rule-Enhanced Curriculum Learning.
ITSC
Lars Frederik Peiss, Elias Wohlgemuth, Fan Xue, Eivind Meyer, Luis Gressenbuch, Matthias Althoff
2023 J jnl
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification.
IEEE Trans. Robotics
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
2023 J jnl
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration.
CoRR
Jakob Thumm, Felix Trost, Matthias Althoff
2023 J jnl
Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study.
IEEE Trans Autom. Sci. Eng.
Aaron Pereira, Mareike Baumann, Jonas Gerstner, Matthias Althoff
2023 — conf
Lexicographic Mixed-Integer Motion Planning with STL Constraints.
ITSC
Patrick Halder, Fabian Christ, Matthias Althoff
2023 — conf
Map Verification and Repairing Using Formalized Map Specifications.
ITSC
Sebastian Maierhofer, Yannick Ballnath, Matthias Althoff
2023 J jnl
Model Predictive Robustness of Signal Temporal Logic Predicates.
IEEE Robotics Autom. Lett.
Yuanfei Lin, Haoxuan Li, Matthias Althoff
2023 — conf
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.
NFM
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
2023 J jnl
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach.
CoRR
Jonathan Külz, Matthias Althoff
2023 J jnl
Privacy-preserving set-based estimation using partially homomorphic encryption.
Eur. J. Control
Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff
2023 — ed.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023.
ARCH
Goran Frehse, Matthias Althoff
2023 J jnl
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking.
Trans. Mach. Learn. Res.
Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff
2023 J jnl
Provably-Correct Safety Protocol for Cooperative Platooning.
CoRR
Sebastian Mair, Matthias Althoff
2023 — conf
Reachability Analysis of ARMAX Models.
CDC
Laura Lützow, Matthias Althoff
2023 J jnl
Reachability Analysis of ARMAX Models.
CoRR
Laura Lützow, Matthias Althoff
2023 A conf
Reducing Safety Interventions in Provably Safe Reinforcement Learning.
IROS
Jakob Thumm, Guillaume Pelat, Matthias Althoff
2023 J jnl
Reducing Safety Interventions in Provably Safe Reinforcement Learning.
CoRR
Jakob Thumm, Guillaume Pelat, Matthias Althoff
2023 J jnl
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-organization Strategies and Provably-correct Design.
CoRR
Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff
2023 — conf
Safe Multi-Agent Reinforcement Learning for Price-Based Demand Response.
ISGT EUROPE
Hannah Markgraf, Matthias Althoff
2023 — conf
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces.
CDC
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
2023 J jnl
Scalable Robust Safety Filter With Unknown Disturbance Set.
IEEE Trans. Autom. Control.
Felix Gruber, Matthias Althoff
2023 J jnl
Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles.
IEEE Trans. Intell. Veh.
Edmond Irani Liu, Matthias Althoff
2023 J jnl
Specification-Driven Neural Network Reduction for Scalable Formal Verification.
CoRR
Tobias Ladner, Matthias Althoff
2023 — conf
Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis.
ITSC
Florian Finkeldei, Matthias Althoff
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2023 A conf
Timor Python: A Toolbox for Industrial Modular Robotics.
IROS
Jonathan Külz, Matthias Mayer, Matthias Althoff
2022 — conf
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@SAFECOMP
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
2022 — conf
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@SAFECOMP
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
2022 — conf
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@SAFECOMP
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
2022 — conf
Benchmarks for the Formal Verification of Power Systems.
ARCH@SAFECOMP
Matthias Althoff
2022 — conf
CommonOcean: Composable Benchmarks for Motion Planning on Oceans.
ITSC
Hanna Krasowski, Matthias Althoff
2022 — conf
CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles.
ITSC
Edmond Irani Liu, Gerald Würsching, Moritz Klischat, Matthias Althoff
2022 C conf
Contingency-constrained economic dispatch with safe reinforcement learning.
ICMLA
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
2022 J jnl
Contingency-constrained economic dispatch with safe reinforcement learning.
CoRR
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
2022 J jnl
Formal Safety Net Control Using Backward Reachability Analysis.
IEEE Trans. Autom. Control.
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
2022 J jnl
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.
Autom.
Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
2022 C conf
Formalization of Intersection Traffic Rules in Temporal Logic.
IV
Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff
2022 J jnl
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets.
CoRR
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2022 — conf
Implementation of Ellipsoidal Operations in CORA 2022.
ARCH@SAFECOMP
Victor Gaßmann, Matthias Althoff
2022 J jnl
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems.
IEEE Trans. Control. Syst. Technol.
Andrea Giusti, Stefan B. Liu, Matthias Althoff
2022 — conf
Learning to Obey Traffic Rules using Constrained Policy Optimization.
ITSC
Xiao Wang, Christoph Pillmayer, Matthias Althoff
2022 — conf
MONA: The Munich Motion Dataset of Natural Driving.
ITSC
Luis Gressenbuch, Klemens Esterle, Tobias Kessler, Matthias Althoff
2022 — conf
Minimum-Violation Velocity Planning with Temporal Logic Constraints.
ITSC
Patrick Halder, Matthias Althoff
2022 J jnl
Model Predictive Robustness of Signal Temporal Logic Predicates.
CoRR
Yuanfei Lin, Haoxuan Li, Matthias Althoff
2022 J jnl
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes.
CoRR
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
2022 — ed.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022
ARCH@SAFECOMP
Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet
2022 A* conf
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments.
ICRA
Jakob Thumm, Matthias Althoff
2022 J jnl
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments.
CoRR
Jakob Thumm, Matthias Althoff
2022 J jnl
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes.
CoRR
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
2022 J jnl
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison.
CoRR
Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff
2022 C conf
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories.
IV
Yuanfei Lin, Matthias Althoff
2022 A* conf
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis.
ICRA
Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff
2022 — conf
Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets.
ITSC
Hanna Krasowski, Yinqiang Zhang, Matthias Althoff
2022 J jnl
Timor Python: A Toolbox for Industrial Modular Robotics.
CoRR
Jonathan Külz, Matthias Mayer, Matthias Althoff
2022 J jnl
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic.
CoRR
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
2022 J jnl
cRoK: A Composable Robotics Benchmark.
CoRR
Matthias Mayer, Jonathan Külz, Matthias Althoff
2021 — ed.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021.
ARCH@ADHS
Goran Frehse, Matthias Althoff
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
2021 — conf
AROC: a toolbox for automated reachset optimal controller synthesis.
HSCC
Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff
2021 — conf
Adaptive parameter tuning for reachability analysis of nonlinear systems.
HSCC
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
2021 — conf
CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles.
ITSC
Sebastian Maierhofer, Moritz Klischat, Matthias Althoff
2021 — conf
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles.
ITSC
Xiao Wang, Hanna Krasowski, Matthias Althoff
2021 J jnl
Comparison of guaranteed state estimators for linear time-invariant systems.
Autom.
Matthias Althoff, Jagat Jyoti Rath
2021 J jnl
Computing Safe Sets of Linear Sampled-Data Systems.
IEEE Control. Syst. Lett.
Felix Gruber, Matthias Althoff
2021 C conf
Computing Specification-Compliant Reachable Sets for Motion Planning of Automated Vehicles.
IV
Edmond Irani Liu, Matthias Althoff
2021 J jnl
Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization.
IEEE Trans. Robotics
Christian Pek, Matthias Althoff
2021 — conf
Guaranteed State Estimation in CORA 2021.
ARCH@ADHS
Matthias Althoff
2021 J jnl
Offline Dynamic Grid Generation for Automotive Environment Perception Using Temporal Inference Methods.
IEEE Robotics Autom. Lett.
Egon Ye, Gerald Würsching, Sascha Steyer, Matthias Althoff
2021 J jnl
On the co-NP-completeness of the zonotope containment problem.
Eur. J. Control
Adrian Kulmburg, Matthias Althoff
2021 A conf
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction.
IROS
Stefan B. Liu, Matthias Althoff
2021 J jnl
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems.
IEEE Trans. Autom. Control.
Bastian Schürmann, Matthias Althoff
2021 J jnl
Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking.
IEEE Trans. Intell. Transp. Syst.
Fanta Camara, Nicola Bellotto, Serhan Cosar, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Charles W. Fox
2021 J jnl
Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior.
IEEE Trans. Intell. Transp. Syst.
Fanta Camara, Nicola Bellotto, Serhan Cosar, Florian Weber, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Gustav Markkula, Anna Schieben, Fabio Tango, Natasha Merat, Charles W. Fox
2021 — conf
Predictive Monitoring of Traffic Rules.
ITSC
Luis Gressenbuch, Matthias Althoff
2021 J jnl
Provably-Correct and Comfortable Adaptive Cruise Control.
IEEE Trans. Intell. Veh.
Matthias Althoff, Sebastian Maierhofer, Christian Pek
2021 J jnl
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems.
CoRR
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
2021 — conf
Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets.
ITSC
Gerald Würsching, Matthias Althoff
2021 — conf
Sampling-Based Trajectory Repairing for Autonomous Vehicles.
ITSC
Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff
2021 — conf
Scalable robust output feedback MPC of linear sampled-data systems.
CDC
Felix Gruber, Matthias Althoff
2021 J jnl
Set Propagation Techniques for Reachability Analysis.
Annu. Rev. Control. Robotics Auton. Syst.
Matthias Althoff, Goran Frehse, Antoine Girard
2021 J jnl
Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules.
IEEE Trans. Intell. Veh.
Markus Koschi, Matthias Althoff
2021 J jnl
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.
IEEE Trans. Autom. Control.
Niklas Kochdumper, Matthias Althoff
2021 C conf
Temporal Logic Formalization of Marine Traffic Rules.
IV
Hanna Krasowski, Matthias Althoff
2021 J jnl
Using Reachable Sets for Trajectory Planning of Automated Vehicles.
IEEE Trans. Intell. Veh.
Stefanie Manzinger, Christian Pek, Matthias Althoff
2021 — conf
Verification of Collision Avoidance for CommonRoad Traffic Scenarios.
ARCH@ADHS
Niklas Kochdumper, Philipp Gassert, Matthias Althoff
2021 — conf
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems.
ADHS
Victor Gaßmann, Matthias Althoff
2020 — conf
A Multi-Step Approach to Accelerate the Computation of Reachable Sets for Road Vehicles.
ITSC
Moritz Klischat, Matthias Althoff
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
2020 — conf
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
CDC
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
2020 J jnl
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
CoRR
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
2020 A conf
Automatic Synthesis of Human Motion from Temporal Logic Specifications.
IROS
Matthias Althoff, Matthias Mayer, Robert Müller
2020 C conf
CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms.
IV
Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Üste, Matthias Althoff
2020 — conf
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems.
CDC
Niklas Kochdumper, Matthias Althoff
2020 — conf
Cooperative Raw Sensor Data Fusion for Ground Truth Generation in Autonomous Driving.
ITSC
Egon Ye, Philip Spiegel, Matthias Althoff
2020 J jnl
Distributed Set-Based Observers Using Diffusion Strategy.
CoRR
Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Matthias Althoff
2020 — conf
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.
ASP-DAC
Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff
2020 — conf
Event-Triggered Diffusion Kalman Filters.
ICCPS
Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff
2020 C conf
Falsification-Based Robust Adversarial Reinforcement Learning.
ICMLA
Xiao Wang, Saasha Nair, Matthias Althoff
2020 J jnl
Falsification-Based Robust Adversarial Reinforcement Learning.
CoRR
Xiao Wang, Saasha Nair, Matthias Althoff
2020 J jnl
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.
CoRR
Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
2020 C conf
Formalization of Interstate Traffic Rules in Temporal Logic.
IV
Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff
2020 — conf
Mutual Absolute Calibration of Lidar Mounting Positions on Vehicles using CAD Models.
ITSC
Egon Ye, Matthias Althoff
2020 A* conf
Optimizing performance in automation through modular robots.
ICRA
Stefan B. Liu, Matthias Althoff
2020 J jnl
Pedestrian Models for Autonomous Driving Part I: low level models, from sensing to tracking.
CoRR
Fanta Camara, Nicola Bellotto, Serhan Cosar, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Charles W. Fox
2020 J jnl
Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour.
CoRR
Fanta Camara, Nicola Bellotto, Serhan Cosar, Florian Weber, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Gustav Markkula, Anna Schieben, Fabio Tango, Natasha Merat, Charles W. Fox
2020 J jnl
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption.
CoRR
Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff
2020 C conf
Provably-Safe Cooperative Driving via Invariably Safe Sets.
IV
Edmond Irani Liu, Christian Pek, Matthias Althoff
2020 J jnl
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace.
IEEE Trans. Autom. Control.
Matthias Althoff
2020 — conf
Reachability analysis for hybrid systems with nonlinear guard sets.
HSCC
Niklas Kochdumper, Matthias Althoff
2020 — conf
Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction.
ITSC
Hanna Krasowski, Xiao Wang, Matthias Althoff
2020 C conf
Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm.
ACC
Victor Gaßmann, Matthias Althoff
2020 — conf
Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles.
ITSC
Moritz Klischat, Edmond Irani Liu, Fabian Holtke, Matthias Althoff
2020 C conf
Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles.
IV
Moritz Klischat, Matthias Althoff
2020 J jnl
Using online verification to prevent autonomous vehicles from causing accidents.
Nat. Mach. Intell.
Christian Pek, Stefanie Manzinger, Markus Koschi, Matthias Althoff
2020 — conf
Utilizing dependencies to obtain subsets of reachable sets.
HSCC
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
2019 C conf
A modal interface contract theory for guarded input/output automata with an application in traffic system design.
ACC
Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSIoTWeek
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@CPSIoTWeek
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
2019 — ed.
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.
ARCH@CPSIoTWeek
Goran Frehse, Matthias Althoff
2019 — conf
Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms.
ITSC
Jingyuan Wu, Johannes Ruenz, Matthias Althoff
2019 — conf
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems.
ITSC
Markus Koschi, Christian Pek, Sebastian Maierhofer, Matthias Althoff
2019 — conf
Coupling SUMO with a Motion Planning Framework for Automated Vehicles.
SUMO
Moritz Klischat, Octav Dragoi, Mostafa Eissa, Matthias Althoff
2019 — conf
Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis.
CDC
Amr Alanwar, Hazem Said, Matthias Althoff
2019 J jnl
Effortless creation of safe robots from modules through self-programming and self-verification.
Sci. Robotics
Matthias Althoff, Andrea Giusti, Stefan B. Liu, Aaron Pereira
2019 C conf
Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms.
IV
Moritz Klischat, Matthias Althoff
2019 J jnl
Model Conformance for Cyber-Physical Systems: A Survey.
ACM Trans. Cyber Phys. Syst.
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
2019 — conf
Model-based Offline Vehicle Tracking in Automotive Applications Using a Precise 3D Model.
ITSC
Egon Ye, Matthias Althoff
2019 C conf
Risk-aware motion planning for automated vehicle among human-driven cars.
ACC
Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff
2019 — conf
Scalable Robust Model Predictive Control for Linear Sampled-Data Systems.
CDC
Felix Gruber, Matthias Althoff
2019 J jnl
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.
CoRR
Niklas Kochdumper, Matthias Althoff
2019 J jnl
Utilizing Dependencies to Obtain Subsets of Reachable Sets.
CoRR
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
2018 B conf
A Formally Verified Motion Planner for Autonomous Vehicles.
ATVA
Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2018 — ed.
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018
ARCH@ADHS
Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
2018 — conf
Anytime Safety Verification of Autonomous Vehicles.
ITSC
Felix Gruber, Matthias Althoff
2018 — conf
Automatic Conversion of Road Networks from OpenDRIVE to Lanelets.
SOLI
Matthias Althoff, Stefan Urban, Markus Koschi
2018 B conf
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles.
Intelligent Vehicles Symposium
Matthias Althoff, Sebastian Lutz
2018 — conf
Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization.
ITSC
Christian Pek, Matthias Althoff
2018 J jnl
Computing the Drivable Area of Autonomous Road Vehicles in Dynamic Road Scenes.
IEEE Trans. Intell. Transp. Syst.
Sebastian Sontges, Matthias Althoff
2018 A conf
Efficient Computation of Invariably Safe States for Motion Planning of Self-Driving Vehicles.
IROS
Christian Pek, Matthias Althoff
2018 B conf
Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles.
Intelligent Vehicles Symposium
Christina Miller, Christian Pek, Matthias Althoff
2018 B conf
Evaluating Location Compliance Approaches for Automated Road Vehicles.
Intelligent Vehicles Symposium
Alexander Zhu, Stefanie Manzinger, Matthias Althoff
2018 J jnl
Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics.
IEEE Robotics Autom. Mag.
Andrea Giusti, Martijn J. A. Zeestraten, Esra Icer, Aaron Pereira, Darwin G. Caldwell, Sylvain Calinon, Matthias Althoff
2018 A conf
Hierarchical Path Planner Using Workspace Decomposition and Parallel Task-Space RRTs.
IROS
George Mesesan, Máximo A. Roa, Esra Icer, Matthias Althoff
2018 — conf
High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning.
ITSC
Branka Mirchevska, Christian Pek, Moritz Werling, Matthias Althoff, Joschka Boedecker
2018 — conf
Implementation of Taylor models in CORA 2018.
ARCH@ADHS
Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper
2018 — conf
Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics.
IRC
Michael Wagner, Stefan B. Liu, Andrea Giusti, Matthias Althoff
2018 J jnl
On the Combined Inverse-Dynamics/Passivity-Based Control of Elastic-Joint Robots.
IEEE Trans. Robotics
Andrea Giusti, Jörn Malzahn, Nikolaos G. Tsagarakis, Matthias Althoff
2018 J jnl
On-the-Fly Control Design of Modular Robot Manipulators.
IEEE Trans. Control. Syst. Technol.
Andrea Giusti, Matthias Althoff
2018 J jnl
Overapproximative Human Arm Occupancy Prediction for Collision Avoidance.
IEEE Trans Autom. Sci. Eng.
Aaron Pereira, Matthias Althoff
2018 B conf
Probabilistic Map-based Pedestrian Motion Prediction Taking Traffic Participants into Consideration.
Intelligent Vehicles Symposium
Jingyuan Wu, Johannes Ruenz, Matthias Althoff
2018 — conf
Reachset Conformance Testing of Human Arms with a Biomechanical Model.
IRC
Cedric Stark, Aaron Pereira, Matthias Althoff
2018 A conf
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.
IROS
Stefan B. Liu, Matthias Althoff
2018 — conf
Reachset Model Predictive Control for Disturbed Nonlinear Systems.
CDC
Bastian Schürmann, Niklas Kochdumper, Matthias Althoff
2018 — conf
Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules.
ITSC
Markus Koschi, Christian Pek, Mona Beikirch, Matthias Althoff
2018 — conf
Tactical Decision Making for Cooperative Vehicles Using Reachable Sets.
ITSC
Stefanie Manzinger, Matthias Althoff
2018 B conf
Worst-case Analysis of the Time-To-React Using Reachable Sets.
Intelligent Vehicles Symposium
Sebastian Sontges, Markus Koschi, Matthias Althoff
2017 — conf
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics.
ARCH@CPSWeek
Xin Chen, Matthias Althoff, Fabian Immler
2017 — conf
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSWeek
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
2017 — ed.
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
ARCH@CPSWeek
Goran Frehse, Matthias Althoff
2017 — ed.
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria
ARCH@CPSWeek
Goran Frehse, Matthias Althoff
2017 A conf
Calculating human reachable occupancy for guaranteed collision-free planning.
IROS
Aaron Pereira, Matthias Althoff
2017 A* conf
Combined inverse-dynamics/passivity-based control for robots with elastic joints.
ICRA
Andrea Giusti, Jörn Malzahn, Nikolaos G. Tsagarakis, Matthias Althoff
2017 B conf
CommonRoad: Composable benchmarks for motion planning on roads.
Intelligent Vehicles Symposium
Matthias Althoff, Markus Koschi, Stefanie Manzinger
2017 — conf
Comparison of trajectory tracking controllers for autonomous vehicles.
ITSC
Davide Calzolari, Bastian Schürmann, Matthias Althoff
2017 C conf
Compositional transient stability analysis of power systems via the computation of reachable sets.
ACC
Ahmed El-Guindy, Yu Christine Chen, Matthias Althoff
2017 B conf
Computing possible driving corridors for automated vehicles.
Intelligent Vehicles Symposium
Sebastian Sontges, Matthias Althoff
2017 — conf
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems.
HSCC
Bastian Schürmann, Matthias Althoff
2017 — conf
Determining the maximum time horizon for vehicles to safely follow a trajectory.
ITSC
Silvia Magdici, Zhenzhang Ye, Matthias Althoff
2017 B conf
Driving strategy selection for cooperative vehicles using maneuver templates.
Intelligent Vehicles Symposium
Stefanie Manzinger, Marion Leibold, Matthias Althoff
2017 — conf
Efficient Computation of Interval-Arithmetic-Based Robust Controllers for Rigid Robots.
IRC
Andrea Giusti, Matthias Althoff
2017 — conf
Enhancing motion safety by identifying safety-critical passageways.
CDC
Christian Pek, Markus Koschi, Moritz Werling, Matthias Althoff
2017 — conf
Ensuring drivability of planned motions using formal methods.
ITSC
Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff
2017 C conf
Estimating the region of attraction via forward reachable sets.
ACC
Ahmed El-Guindy, Dongkun Han, Matthias Althoff
2017 A conf
Evolutionary cost-optimal composition synthesis of modular robots considering a given task.
IROS
Esra Icer, Heba A. Hassan, Khaled El-Ayat, Matthias Althoff
2017 B conf
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.
IFM
Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow
2017 J jnl
IEEE Transactions on Intelligent Vehicles New Senior Editors and Associate Editors.
IEEE Trans. Intell. Veh.
Tankut Acarman, Matt Barth, Matthias Althoff, Nabil Aouf, Andreas A. Malikopoulos
2017 — conf
Interaction-aware occupancy prediction of road vehicles.
ITSC
Markus Koschi, Matthias Althoff
2017 — conf
Methods for order reduction of zonotopes.
CDC
Anna-Kathrin Kopetzki, Bastian Schürmann, Matthias Althoff
2017 — conf
Negotiation of drivable areas of cooperative vehicles for conflict resolution.
ITSC
Stefanie Manzinger, Matthias Althoff
2017 — conf
Online verification of multiple safety criteria for a robot trajectory.
CDC
Dario Beckert, Aaron Pereira, Matthias Althoff
2017 C conf
Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems.
ACC
Bastian Schürmann, Matthias Althoff
2017 A conf
Provably safe motion of mobile robots in human environments.
IROS
Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff
2017 J jnl
Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace.
CoRR
Matthias Althoff
2017 B conf
SPOT: A tool for set-based prediction of traffic participants.
Intelligent Vehicles Symposium
Markus Koschi, Matthias Althoff
2017 — conf
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.
FORMATS
Stanley Bak, Sergiy Bogomolov, Matthias Althoff
2017 B conf
Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules.
Intelligent Vehicles Symposium
Christian Pek, Peter Zahn, Matthias Althoff
2016 — conf
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
NFM
Albert Rizaldi, Fabian Immler, Matthias Althoff
2016 A* conf
A task-driven algorithm for configuration synthesis of modular robots.
ICRA
Esra Icer, Andrea Giusti, Matthias Althoff
2016 — conf
Can automated road vehicles harmonize with traffic flow while guaranteeing a safe distance?
ITSC
Matthias Althoff, Robert Lösch
2016 C conf
Closed-form expressions of convex combinations.
ACC
Bastian Schürmann, Ahmed El-Guindy, Matthias Althoff
2016 — conf
Combining zonotopes and support functions for efficient reachability analysis of linear systems.
CDC
Matthias Althoff, Goran Frehse
2016 C conf
Cost-optimal composition synthesis for modular robots.
CCA
Esra Icer, Matthias Althoff
2016 — conf
Estimating the domain of attraction based on the invariance principle.
CDC
Dongkun Han, Ahmed El-Guindy, Matthias Althoff
2016 — conf
Fail-safe motion planning of autonomous vehicles.
ITSC
Silvia Magdici, Matthias Althoff
2016 — conf
Implementation of Interval Arithmetic in CORA 2016.
ARCH@CPSWeek
Matthias Althoff, Dmitry Grebenyuk
2016 — conf
On enlarging backward reachable sets via Zonotopic set membership.
ISIC
Dongkun Han, Albert Rizaldi, Ahmed El-Guindy, Matthias Althoff
2016 — conf
On estimating the Robust Domain of Attraction for uncertain non-polynomial systems: An LMI approach.
CDC
Dongkun Han, Matthias Althoff
2016 B conf
Online motion synthesis with minimal intervention control and formal safety guarantees.
SMC
Martijn J. A. Zeestraten, Aaron Pereira, Matthias Althoff, Sylvain Calinon
2016 A conf
Overapproximative arm occupancy prediction for human-robot co-existence built from archetypal movements.
IROS
Aaron Pereira, Matthias Althoff
2016 — conf
Reachset Conformance Testing of Hybrid Automata.
HSCC
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
2016 B conf
STL Model Checking of Continuous and Hybrid Systems.
ATVA
Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff
2016 J jnl
Set-Based Prediction of Traffic Participants on Arbitrary Road Networks.
IEEE Trans. Intell. Veh.
Matthias Althoff, Silvia Magdici
2016 C conf
Ultimate robust performance control of rigid robot manipulators using interval arithmetic.
ACC
Andrea Giusti, Matthias Althoff
2015 — ed.
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.
ARCH@CPSWeek
Goran Frehse, Matthias Althoff
2015 — conf
An Introduction to CORA 2015.
ARCH@CPSWeek
Matthias Althoff
2015 — conf
Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.
ASP-DAC
Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke
2015 A conf
Automatic centralized controller design for modular and reconfigurable robot manipulators.
IROS
Andrea Giusti, Matthias Althoff
2015 — conf
Control synthesis for non-polynomial systems: A domain of attraction perspective.
CDC
Dongkun Han, Matthias Althoff
2015 — conf
Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems.
ITSC
Sebastian Sontges, Matthias Althoff
2015 — conf
Formalising Traffic Rules for Accountability of Autonomous Vehicles.
ITSC
Albert Rizaldi, Matthias Althoff
2015 J jnl
On Computing the Minkowski Difference of Zonotopes.
CoRR
Matthias Althoff
2015 B conf
On time-memory trade-off for collision detection.
Intelligent Vehicles Symposium
Albert Rizaldi, Sebastian Sontges, Matthias Althoff
2015 A conf
Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets.
IROS
Daniel Althoff, Matthias Althoff, Sebastian A. Scherer
2015 A* conf
Safety control of robots under Computed Torque control using reachable sets.
ICRA
Aaron Pereira, Matthias Althoff
2014 A conf
Formal verification of maneuver automata for parameterized motion primitives.
IROS
Daniel Hess, Matthias Althoff, Thomas Sattel
2014 J jnl
Online Verification of Automated Road Vehicles Using Reachability Analysis.
IEEE Trans. Robotics
Matthias Althoff, John M. Dolan
2014 J jnl
Reachability Analysis of Nonlinear Differential-Algebraic Systems.
IEEE Trans. Autom. Control.
Matthias Althoff, Bruce H. Krogh
2013 B conf
Comparison of trajectory tracking controllers for emergency situations.
Intelligent Vehicles Symposium
Daniel Hess, Matthias Althoff, Thomas Sattel
2013 J jnl
Formal verification of phase-locked loops using reachability analysis and continuization.
Commun. ACM
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi
2013 — conf
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets.
HSCC
Matthias Althoff
2013 — conf
Road occupancy prediction of traffic participants.
ITSC
Matthias Althoff, Daniel Hess, Florian Gambert
2013 — conf
Should collision avoidance systems use yaw stabilization?
ITSC
Daniel Hess, Matthias Althoff, Thomas Sattel
2012 — conf
Avoiding geometric intersection operations in reachability analysis of hybrid systems.
HSCC
Matthias Althoff, Bruce H. Krogh
2012 C conf
Reachability computation of low-order models for the safety verification of high-order road vehicle models.
ACC
Matthias Althoff, John M. Dolan
2012 — conf
Transient stability analysis by reachable set computation.
ISGT Europe
Matthias Althoff, Milos Cvetkovic, Marija Ilic
2011 J jnl
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars.
IEEE Trans. Intell. Transp. Syst.
Matthias Althoff, Alexander Mergel
2011 A conf
Formal verification of phase-locked loops using reachability analysis and continuization.
ICCAD
Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
2011 — conf
Reachable set computation for uncertain time-varying linear systems.
HSCC
Matthias Althoff, Colas Le Guernic, Bruce H. Krogh
2011 — conf
Set-based computation of vehicle behaviors for the online verification of autonomous vehicles.
ITSC
Matthias Althoff, John M. Dolan
2011 — conf
Zonotope bundles for the efficient computation of reachable sets.
CDC/ECC
Matthias Althoff, Bruce H. Krogh
2010 A* conf
Probabilistic collision state checker for crowded environments.
ICRA
Daniel Althoff, Matthias Althoff, Dirk Wollherr, Martin Buss
2010 B conf
Safety verification of autonomous vehicles for coordinated evasive maneuvers.
Intelligent Vehicles Symposium
Matthias Althoff, Daniel Althoff, Dirk Wollherr, Martin Buss
2009 J jnl
Model-Based Probabilistic Collision Detection in Autonomous Driving.
IEEE Trans. Intell. Transp. Syst.
Matthias Althoff, Olaf Stursberg, Martin Buss
2009 — conf
Safety assessment for stochastic linear systems using enclosing hulls of probability density functions.
ECC
Matthias Althoff, Olaf Stursberg, Martin Buss
2008 A conf
Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments.
IROS
Florian Rohrmüller, Matthias Althoff, Dirk Wollherr, Martin Buss
2008 — conf
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization.
CDC
Matthias Althoff, Olaf Stursberg, Martin Buss
2008 J jnl
Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars).
Autom.
Matthias Althoff, Olaf Stursberg, Martin Buss
2007 — conf
Reachability analysis of linear systems with uncertain parameters and inputs.
CDC
Matthias Althoff, Olaf Stursberg, Martin Buss
2007 C conf
Safety Assessment of Autonomous Cars using Verification Techniques.
ACC
Matthias Althoff, Olaf Stursberg, Martin Buss