Joël Ouaknine

Analizzare il comportamento e la terminazione dei cicli di vincoli lineari nella programmazione.

Esplorare il ruolo di MSO nella comprensione delle sequenze di ricorrenza lineari e della loro decidibilità.

Uno sguardo su come le funzioni di peso possono migliorare l'analisi dei sistemi dinamici lineari.

Questo articolo presenta una nuova prospettiva sull'analisi delle catene di Markov attraverso i trasformatori di distribuzione.

Esaminando le sfide e le intuizioni nell'aritmetica di Presburger e le sue espansioni.