Artur Mrowca, Martin Nocker, Sebastian Steinhorst, Stephan Günnemann. Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019. pages 96, ACM, 2019. [doi]
Abstract is missing.