Advertisement

Timed Automata and Timed Languages Challenges and Open Problems

  • Eugene Asarin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2791)

Abstract

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Eugene Asarin
    • 1
  1. 1.VERIMAGGièresFrance

Personalised recommendations