Login
- 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 GesamtbestandEinrichtungenForschungszentrenInstitute for Advanced Study (IAS)FellowsAlumniSteinhorst, Sebastian
- mediaTUM GesamtbestandHochschulbibliographie2019Integrated Research CentersInstitute for Advanced Study (IAS)
- mediaTUM GesamtbestandEinrichtungenForschungszentrenInstitute for Advanced Study (IAS)Research AreasResearch Area: Control Theory, Systems Engineering and RoboticsAlumni Focus GroupsFocus Group: Embedded Systems and Internet of Things