mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(4727)
2023
(7917)
2022
(8724)
2021
(8936)
2020
(8200)
2019
(8870)
2018
(8669)
2017
(8687)
2016
(8835)
2015
(8224)
2014
(7150)
2013
(6756)
2012
(5775)
2011
(5563)
Fakultäten
(5249)
Architektur
(128)
Bau Geo Umwelt
(875)
Chemie
(33)
Elektrotechnik und Informationstechnik
(1097)
Informatik
(367)
Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
Fachgebiet Algorithmus und Software für Höchstleistungsrechner (Prof. Bader)
(1)
Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Fachgebiet Cyber-Physical Systems and their Implementation
(7)
Fachgebiet Datenbanksysteme (Prof. Neumann)
Fachgebiet Erweiterte Realität (Prof. Klinker)
(16)
Fachgebiet Intelligente Autonmome Systeme (Prof. Beetz)
Fachgebiet Programmierung / Anwendungen verteilter Systeme (Prof. Brüggemann-Klein)
Fachgebiet Programmierung (Prof. Nipkow)
Fachgebiet Telerobotik und Sensordatenfusion (Prof. Burschka)
Fachgebiet Theoretische Informatik (Prof. Räcke)
Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(4)
Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(2)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukuren (Prof. Seidl)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
Lehrstuhl für Informatik 4 / Software und Systems Engeneering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(23)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(92)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
Lehrstuhl für Informatik / Angewandte Informatik – Kooperative Systeme (Prof. Schlichter)
(1)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. Mayr)
(7)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(95)
Lehrstuhl für Informatik / Rechnertechnik. und Rechnerorganisation (Prof. Bode)
Lehrstuhl für Informatik / Software Engineering (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(95)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(27)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
Maschinenwesen
(693)
Mathematik
(118)
Medizin
(538)
Physik
(146)
Sport- und Gesundheitswissenschaften
(46)
TUM School of Education
(105)
Wirtschaftswissenschaften
(290)
Wissenschaftszentrum Weihenstephan
(814)
Integrated Research Centers
(84)
Zentrale Einrichtungen
(230)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2011
Fakultäten
Informatik
Fachgebiet Cyber-Physical Systems and their Implementation
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:
Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Althoff, M.; Dolan, J. M.
Seitenangaben Beitrag:
1162-1167
Kongress- / Buchtitel:
Proc. of the 14th IEEE Conference on Intelligent Transportation Systems
Jahr:
2011
Volltext / DOI:
doi:10.1109/ITSC.2011.6083052
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Hochschulbibliographie
2011
Fakultäten
Informatik
Fachgebiet Cyber-Physical Systems and their Implementation
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2011