%0 Journal Article %1 journals/corr/abs-2104-15083 %A Gaglione, Jean-Raphaël %A Neider, Daniel %A Roy, Rajarshi %A Topcu, Ufuk %A Xu, Zhe %D 2021 %J CoRR %K dblp %T Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. %U http://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-15083 %V abs/2104.15083

@article{journals/corr/abs-2104-15083, added-at = {2021-05-04T00:00:00.000+0200}, author = {Gaglione, Jean-Raphaël and Neider, Daniel and Roy, Rajarshi and Topcu, Ufuk and Xu, Zhe}, biburl = {https://www.bibsonomy.org/bibtex/2a4f34a3b2dcee4c55d56d6e46f376ef3/dblp}, ee = {https://arxiv.org/abs/2104.15083}, interhash = {85b6c169fad6e7c33485325da7f4edc8}, intrahash = {a4f34a3b2dcee4c55d56d6e46f376ef3}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:40:16.000+0200}, title = {Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-15083}, volume = {abs/2104.15083}, year = 2021 }