We list down a few problems on timed automata that we want to solve