Abstract: Precipitation forecasting, encompassing high-resolution regional and accurate intensity forecasting, has long been a central focus in the artificial intelligence (AI) field. Generally, AI ...

Abstract: This article presents a neurosymbolic framework to solve motion planning problems for mobile robots involving temporal goals. The temporal goals are described using temporal logic formulas, ...