Here we have a list of problems related to Timed Automata that we want to solve.