Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Baharisangari, N., Gaglione, J.-R., Neider, D., Topcu, U., & Xu, Z. (2021). Uncertainty-Aware Signal Temporal Logic Inference. In R. Bloem, R. Dimitrova, C. Fan, & N. Sharygina (Eds.), Software Verification (pp. 61-85). Berlin: Springer. doi:10.1007/978-3-030-95561-8_5.