We present a forest fire firefighting simulation tool named FORFIS that ...
For a broader adoption of AI in industrial production, adequate
infrastr...
Symbolic optimal control is a powerful method to synthesize algorithmica...
This paper proposes an algorithmic method to heuristically solve the fam...
The practical impact of abstraction-based controller synthesis methods i...