Thomas Bolander

Untersuche die Rolle von Bisimulationen beim Vereinfachen komplexer Modelle in verschiedenen Bereichen.

Ein neuer Algorithmus verbessert die Planungseffektivität, indem er die Wissensvertiefung steuert.