Linguagens Formais e Autômatos

Área de Pesquisa
Algoritmos, Grafos e Combinatória
Descrição

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.