Joël Ouaknine

Explora la importancia de los ceros racionales torcidos en las secuencias de recurrencia lineales.

Una visión general de problemas de alcanzabilidad complejos en sistemas lineales.

Analizando el comportamiento y la terminación de bucles de restricciones lineales en programación.

Explorando el papel de MSO en entender secuencias de recurrencia lineales y su decidibilidad.

Una mirada a cómo las funciones de peso pueden mejorar el análisis de sistemas dinámicos lineales.

Este artículo presenta una nueva perspectiva sobre el análisis de cadenas de Markov a través de transformadores de distribución.

Examinando los desafíos y las ideas en la aritmética de Presburger y sus expansiones.