2 papers
cs.AI2025
A Comparative Study of SMT and MILP for the Nurse Rostering Problem
Alvin Combrink, Stephie Do, Kristofer Bengtsson +2
The effects of personnel scheduling on the quality of care and working conditions for healthcare personnel have been thoroughly documented. However, the ever-present demand and lar…
eess.SY2022
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt +1
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee co…