tag:joss.theoj.org,2005:/papers/tagged/formal%20methodsJournal of Open Source Software2024-01-09T15:42:20ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/38102024-01-09T15:42:20Z2024-01-10T00:01:06ZScarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logicacceptedv0.0.12022-08-10 18:27:58 UTC932024-01-09 15:42:20 UTC920245052RitamRahaUniversity of Antwerp, Antwerp, Belgium, CNRS, LaBRI and Université de Bordeaux, France0000-0003-1467-1182RajarshiRoyMax Planck Institute for Software Systems, Kaiserslautern, Germany0000-0002-0202-1169NathanaëlFijalkowCNRS, LaBRI and Université de Bordeaux, France0000-0002-6576-4680DanielNeiderTU Dortmund University, Dortmund, Germany, Center for Trustworthy Data Science and Security, University Alliance Ruhr, Germany0000-0001-9276-634210.21105/joss.05052https://doi.org/10.5281/zenodo.10419514Pythonhttps://joss.theoj.org/papers/10.21105/joss.05052.pdflinear temporal logic (LTL), Explainable AI (XAI), specification mining, Formal Methodstag:joss.theoj.org,2005:Paper/8132019-02-11T23:18:45Z2021-02-15T11:32:39ZThe Biddy BDD packageacceptedv1.8.22019-01-15 09:37:54 UTC342019-02-11 23:18:45 UTC420191189RobertMeolicFaculty of Electrical Engineering and Computer Science, University of Maribor0000-0003-3395-122710.21105/joss.01189https://doi.org/10.5281/zenodo.2561641C, Tcl, C++, HyPhyhttps://joss.theoj.org/papers/10.21105/joss.01189.pdfBoolean algebra, unate cube set algebra, binary decision diagram, zero-suppressed binary decision diagram, formal methods, free software