Effiziente Verarbeitung und Analyse von Inhalten zur Gewinnung von Erkenntnissen: Coalgebraisches Erfüllbarkeitsprüfen für arithmetische µ-Kalküle
Der Beitrag präsentiert einen generischen Algorithmus zum exponentialzeitlichen Erfüllbarkeitsprüfen in coalgebraischen µ-Kalkülien, der auch Fälle ohne wohlverhaltenene Tableauregeln abdeckt. Dies ermöglicht neue Anwendungen wie den Presburger-µ-Kalkül und den probabilistischen µ-Kalkül mit polynomialen Ungleichungen.