Thomas Bolander

Explore le rôle des bisimulations dans la simplification des modèles complexes dans différents domaines.

Un nouvel algorithme améliore l'efficacité de la planification en gérant la profondeur des connaissances.