Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Matthias Althoff

Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars

IEEE Transactions on Intelligent Transportation Systems
Automotive EngineeringComputer Science ApplicationsMechanical Engineering
2011English

Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes

Nonlinear Analysis: Hybrid Systems
ControlSystems EngineeringComputer Science ApplicationsAnalysis
2010English

Flexible Automation Driven by Demonstration: Leveraging Strategies That Simplify Robotics

IEEE Robotics and Automation Magazine
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2018English

SPOT: A Tool for Set-Based Prediction of Traffic Participants

2017English

Ensuring Drivability of Planned Motions Using Formal Methods

2017English

Estimating the Region of Attraction via Forward Reachable Sets

2017English

Generating Critical Test Scenarios for Automated Vehicles With Evolutionary Algorithms

2019English

Scalable Robust Model Predictive Control for Linear Sampled-Data Systems

2019English

Compositional Transient Stability Analysis of Power Systems via the Computation of Reachable Sets

2017English

Ultimate Robust Performance Control of Rigid Robot Manipulators Using Interval Arithmetic

2016English
  • 1
  • 2
  • ›

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy