Joël Ouaknine

Herausforderungen beim Bestimmen von Nulltermen in linearen Rekurrenzfolgen erkunden.

Untersuche die Bedeutung von verdrehten rationalen Nullen in linearen Rekurrenzfolgen.

Eine Übersicht über komplexe Erreichbarkeitsprobleme in linearen Systemen.

Analyse des Verhaltens und der Beendigung von linearen Beschränkungszyklen in der Programmierung.

Die Erforschung der Rolle von MSO beim Verständnis von linearen Wiederholungsfolgen und ihrer Entscheidbarkeit.

Ein Blick darauf, wie Gewichtungsfunktionen die Analyse von linearen dynamischen Systemen verbessern können.

Dieser Artikel bietet einen neuen Blick auf die Analyse von Markov-Ketten durch Verteilungstransformatoren.

Die Herausforderungen und Erkenntnisse in der Presburger-Arithmetik und ihren Erweiterungen untersuchen.