mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(2939)
2023
(7324)
2022
(8637)
2021
(8884)
2020
(8178)
2019
(8873)
Fakultäten
(8177)
Integrated Research Centers
(438)
Institute for Advanced Study (IAS)
(313)
Munich Center for Technology in Society (MCTS)
(78)
Munich School of Bioengineering (MSB)
(3)
Munich School of Engineering
(44)
Munich School of Robotics and Machine Intelligence (MSRM)
Zentrale Einrichtungen
(258)
2018
(8706)
2017
(8694)
2016
(8829)
2015
(8221)
2014
(7133)
2013
(6750)
2012
(5780)
2011
(5563)
2010
(5420)
2009
(4595)
2008
(4104)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Integrated Research Centers
Institute for Advanced Study (IAS)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Günnemann, Stephan
Titel:
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Kongress- / Buchtitel:
Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19
Verlag / Institution:
ACM Press
Publikationsdatum:
01.01.2019
Jahr:
2019
Print-ISBN:
9781450367257
Volltext / DOI:
doi:10.1145/3316781.3317847
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Fellows
Alumni
Günnemann, Stephan
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Integrated Research Centers
Institute for Advanced Study (IAS)
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Research Areas
Research Area: Control Theory, Systems Engineering and Robotics
Alumni Focus Groups
Focus Group: Embedded Systems and Internet of Things
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Fellows
Alumni
Steinhorst, Sebastian
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Research Areas
Research Area: Advanced Computation and Modeling
Alumni Focus Groups
Focus Group: Data Mining & Analytics