Thomas Bolander

Explora el papel de las bisimulaciones en la simplificación de modelos complejos en diferentes campos.

Un nuevo algoritmo mejora la efectividad de la planificación al gestionar la profundidad del conocimiento.