BibTeX records: Sebastian Maierhofer

download as .bib file

@inproceedings{DBLP:conf/ivs/MaierhoferA24,
  author       = {Sebastian Maierhofer and
                  Matthias Althoff},
  title        = {CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning
                  and 3D Simulation},
  booktitle    = {{IEEE} Intelligent Vehicles Symposium, {IV} 2024, Jeju Island, Republic
                  of Korea, June 2-5, 2024},
  pages        = {2702--2708},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/IV55156.2024.10588815},
  doi          = {10.1109/IV55156.2024.10588815},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/MaierhoferA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/MaierhoferBA23,
  author       = {Sebastian Maierhofer and
                  Yannick Ballnath and
                  Matthias Althoff},
  title        = {Map Verification and Repairing Using Formalized Map Specifications},
  booktitle    = {26th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2023, Bilbao, Spain, September 24-28, 2023},
  pages        = {1277--1284},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ITSC57777.2023.10422044},
  doi          = {10.1109/ITSC57777.2023.10422044},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/MaierhoferBA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2309-15492,
  author       = {Phillip Karle and
                  Tobias Betz and
                  Marcin Bosk and
                  Felix Fent and
                  Nils Gehrke and
                  Maximilian Geisslinger and
                  Luis Gressenbuch and
                  Philipp Hafemann and
                  Sebastian Huber and
                  Maximilian H{\"{u}}bner and
                  Sebastian Huch and
                  Gemb Kaljavesi and
                  Tobias Kerbl and
                  Dominik Kulmer and
                  Tobias Mascetta and
                  Sebastian Maierhofer and
                  Florian Pfab and
                  Filip Rezabek and
                  Esteban Rivera and
                  Simon Sagmeister and
                  Leander Seidlitz and
                  Florian Sauerbeck and
                  Ilir Tahiraj and
                  Rainer Trauth and
                  Nico Uhlemann and
                  Gerald W{\"{u}}rsching and
                  Baha Zarrouki and
                  Matthias Althoff and
                  Johannes Betz and
                  Klaus Bengler and
                  Georg Carle and
                  Frank Diermeyer and
                  J{\"{o}}rg Ott and
                  Markus Lienkamp},
  title        = {{EDGAR:} An Autonomous Driving Research Platform - From Feature Development
                  to Real-World Application},
  journal      = {CoRR},
  volume       = {abs/2309.15492},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.15492},
  doi          = {10.48550/ARXIV.2309.15492},
  eprinttype    = {arXiv},
  eprint       = {2309.15492},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-15492.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivs/MaierhoferMA22,
  author       = {Sebastian Maierhofer and
                  Paul Moosbrugger and
                  Matthias Althoff},
  title        = {Formalization of Intersection Traffic Rules in Temporal Logic},
  booktitle    = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
                  June 4-9, 2022},
  pages        = {1135--1144},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/IV51971.2022.9827153},
  doi          = {10.1109/IV51971.2022.9827153},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/MaierhoferMA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tiv/AlthoffMP21,
  author       = {Matthias Althoff and
                  Sebastian Maierhofer and
                  Christian Pek},
  title        = {Provably-Correct and Comfortable Adaptive Cruise Control},
  journal      = {{IEEE} Trans. Intell. Veh.},
  volume       = {6},
  number       = {1},
  pages        = {159--174},
  year         = {2021},
  url          = {https://doi.org/10.1109/TIV.2020.2991953},
  doi          = {10.1109/TIV.2020.2991953},
  timestamp    = {Sun, 02 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tiv/AlthoffMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/LinMA21,
  author       = {Yuanfei Lin and
                  Sebastian Maierhofer and
                  Matthias Althoff},
  title        = {Sampling-Based Trajectory Repairing for Autonomous Vehicles},
  booktitle    = {24th {IEEE} International Intelligent Transportation Systems Conference,
                  {ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
  pages        = {572--579},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ITSC48978.2021.9565060},
  doi          = {10.1109/ITSC48978.2021.9565060},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/LinMA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/MaierhoferKA21,
  author       = {Sebastian Maierhofer and
                  Moritz Klischat and
                  Matthias Althoff},
  title        = {CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion
                  and Scenario Creation for Autonomous Vehicles},
  booktitle    = {24th {IEEE} International Intelligent Transportation Systems Conference,
                  {ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
  pages        = {3176--3182},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ITSC48978.2021.9564885},
  doi          = {10.1109/ITSC48978.2021.9564885},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/MaierhoferKA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivs/MaierhoferRMA20,
  author       = {Sebastian Maierhofer and
                  Anna{-}Katharina Rettinger and
                  Eva Charlotte Mayer and
                  Matthias Althoff},
  title        = {Formalization of Interstate Traffic Rules in Temporal Logic},
  booktitle    = {{IEEE} Intelligent Vehicles Symposium, {IV} 2020, Las Vegas, NV, USA,
                  October 19 - November 13, 2020},
  pages        = {752--759},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/IV47402.2020.9304549},
  doi          = {10.1109/IV47402.2020.9304549},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/MaierhoferRMA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/KoschiPMA19,
  author       = {Markus Koschi and
                  Christian Pek and
                  Sebastian Maierhofer and
                  Matthias Althoff},
  title        = {Computationally Efficient Safety Falsification of Adaptive Cruise
                  Control Systems},
  booktitle    = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
                  2019, Auckland, New Zealand, October 27-30, 2019},
  pages        = {2879--2886},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ITSC.2019.8917287},
  doi          = {10.1109/ITSC.2019.8917287},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/KoschiPMA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.