During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...