Formal Languages ​​and Automata

Research Area
Algorithms, Graphs and Combinatorics
Description

Timed automata and hybrid automata. Tools for systems analysis using formal techniques involving timed automata and hybrids automata. Burdensome formalities.