Machine Learning Model Integration with Open World Temporal Logic for Process Automation. - Dyuman Aditya; Colton Payne; Mario A. Leiva; Paulo Shakarian (CoRR, 2025)