Roy, Rajarshi Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
10.21105.joss.05052.pdf (Publisher version), 209KB
Raha, R., Roy, R., Fijalkow, N., & Neider, D. (2024). Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. The Journal of Open Source Software, 9(93): 5052, pp. 1-4. doi:10.21105/joss.05052.