Learning temporal specifications from imperfect traces using Bayesian inference

Artur Mrowca, Martin Nocker, Sebastian Steinhorst, Stephan Günnemann

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

10 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Learning temporal specifications from imperfect traces using Bayesian inference“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science