Time: Wednesday 5.5.2004, 14:30
Place: Room A4-106, Fr. Bajersvej 7
It has been claimed that correct zone-based model-checking of timed automata with difference constraints is not possible due to problems with extrapolation. In this talk we will outline how to break this claim by solving the extrapolation problem for timed automata with difference constraints.