Abstract: This study utilizes machine learning and optimization techniques to lower energy costs in factory operations. By incorporating weather forecast data and machine learning techniques, we aim ...

Abstract: Model Checking (MC) and Constraint Programming (CP) are complementary techniques with the potential for mutual improvement. In this paper, we focus on leveraging on-the-fly MC techniques to ...