Login
- Title:
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
- Document type:
- Konferenzbeitrag
- Author(s):
- Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Günnemann, Stephan
- Book / Congress title:
- Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19
- Publisher:
- ACM Press
- Date of publication:
- 01.01.2019
- Year:
- 2019
- Print-ISBN:
- 9781450367257
- Fulltext / DOI:
- doi:10.1145/3316781.3317847
BibTeX