Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, 2024)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" (Version 2) - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2024)
Accessed on YYYY-MM-DD.

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" (Version 3) - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2024)
Accessed on YYYY-MM-DD.

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" (Version 1) - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)
Accessed on YYYY-MM-DD.

Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" (Version 1) - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)
Accessed on YYYY-MM-DD.

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" (Version 2) - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)
Accessed on YYYY-MM-DD.

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" (Version 1) - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)
Accessed on YYYY-MM-DD.

Conditional Flow Variational Autoencoders for Structured Sequence Prediction - Apratim Bhattacharyya; Michael Hanselmann; Mario Fritz; Bernt Schiele; Christoph-Nikolas Straehle (CoRR, 2019)

CNN-based sensor fusion techniques for multimodal human activity recognition - Sebastian Münzner; Philip Schmidt; Attila Reiss; Michael Hanselmann; Rainer Stiefelhagen; Robert Dürichen (Proceedings of the 2017 ACM International Symposium on Wearable Computers, ISWC 2017, Maui, HI, USA, September 11-15, 2017, 2017)

Fast greedy insertion and deletion in sparse Gaussian process regression - Jens Schreiter; Duy Nguyen-Tuong; Heiner Markert; Michael Hanselmann; Marc Toussaint (23rd European Symposium on Artificial Neural Networks, ESANN 2015, Bruges, Belgium, April 22-24, 2015, 2015)

SIMA: Simultaneous Multiple Alignment of LC/MS Peak Lists - Björn Voss; Michael Hanselmann; Bernhard Y. Renard; Martin S. Lindner; Ullrich Köthe; Marc Kirchner; Fred A. Hamprecht (Bioinform., 2011)

Multivariate Watershed Segmentation of Compositional Data - Michael Hanselmann; Ullrich Köthe; Bernhard Y. Renard; Marc Kirchner; Ron M. A. Heeren; Fred A. Hamprecht (Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings, 2009)

A Tableaux-based Mobile DL Reasoner - An Experience Report - Felix Müller; Michael Hanselmann; Thorsten Liebig; Olaf Noppens (Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006, 2006)