Timed Automata and Timed Languages Challenges and Open Problems
The first years of research in the area of timed systems were marked by a spectacular progress, but also by many natural and important problems left behind without solutions. Some of those are really hard, some have been completely overlooked, some are known only to small groups of researchers but have never been really attacked by the community.
The aim of this talk is to present several open problems and research directions in the domain of timed systems which seem important to the author. In particular we will consider variants of timed automata, theory of timed languages, timed games etc.