> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Abstraction-based analysis of hybrid automata Weitere Titel: Abstraktions-basierte Analyse von Hybrid-Automaten Beteiligte: Bogomolov, Sergiy [Verfasser:in]; Podelski, Andreas [Akademische:r Betreuer:in] Erschienen: Freiburg: Universität, 2015 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Model Checking ; Dynamisches System ; Automat ; Online-Ressource ; Hybrid-Automat ; Hybrid Automaton ; Abstraction ; Guided Search ; Compositional Analysis ; Planning ; (local)doctoralThesis ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Albert-Ludwigs-Universität Freiburg, 2015 Anmerkungen: Zugangsstatus: Freier Zugang