Section: Overall Objectives

Highlights

FoSSaCS paper [18] and TACAS paper [17] seriously improve the state of the art and may have a strong impact. [18] proposes an approximate determinization procedure for timed automata, successfuly adapted in [17] for off-line test generation from timed automata, and is promising for other observability problems (diagnosis, implementability,...).