mediaTUM - Medien- und Publikationsserver

Benutzer: Gast

10.1145/3316781.3317847

Titel:: Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Günnemann, Stephan
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 Hochschulbibliographie 2019 Integrated Research Centers Institute for Advanced Study (IAS)

mediaTUM Gesamtbestand Einrichtungen Forschungszentren Institute for Advanced Study (IAS)Fellows Alumni Günnemann, Stephan

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

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: Control Theory, Systems Engineering and Robotics Alumni Focus Groups Focus Group: Embedded Systems and Internet of Things