Mihir Vahanwala

Explorando o papel do MSO na compreensão de sequências de recorrência linear e sua decidibilidade.

Esse artigo apresenta uma nova perspectiva sobre a análise de cadeias de Markov através de transformadores de distribuição.