Toghrul Karimov

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.