Benutzer: Gast  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