%0 Journal Article %1 journals/isse/GaglioneNRTX22 %A Gaglione, Jean-Raphaël %A Neider, Daniel %A Roy, Rajarshi %A Topcu, Ufuk %A Xu, Zhe %D 2022 %J Innov. Syst. Softw. Eng. %K dblp %N 3 %P 427-442 %T MaxSAT-based temporal logic inference from noisy data. %U http://dblp.uni-trier.de/db/journals/isse/isse18.html#GaglioneNRTX22 %V 18

@article{journals/isse/GaglioneNRTX22, added-at = {2023-08-28T00: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/2e20d99e729c6725c0ddfd808ec50100d/dblp}, ee = {https://www.wikidata.org/entity/Q111898596}, interhash = {e57d445251242902a09266257b35c196}, intrahash = {e20d99e729c6725c0ddfd808ec50100d}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {427-442}, timestamp = {2024-04-09T04:08:21.000+0200}, title = {MaxSAT-based temporal logic inference from noisy data.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse18.html#GaglioneNRTX22}, volume = 18, year = 2022 }