Lenguajes Formales y Autómatas

Área de Investigación
Algoritmos, Grafos e Combinatória
Descripción

Autômatos com relógios ("timed automata") e autômatos híbridos. Ferramentas para análise de sistemas usando técnicas formais envolvendo autômatos com relógios e autômatos híbridos. Complexidade dos formalismos.