Effiziente Synthese symbolischer Steuerung durch symmetriebasierte Abstraktion
Ein effizienter Algorithmus zur Synthese symbolischer Steuerung für äquivariante kontinuierliche dynamische Systeme, der Symmetrien nutzt, um schlanke Abstraktionen zu konstruieren und redundante Berechnungen während der Synthese zu vermeiden.