Efficiently learning simple timed automata
Sicco Verwer, Mathijs M. De Weerdt, Cees Witteveen · Research Repository (Delft University of Technology) · 2008
Abstract. We describe an efficient algorithm for learning deterministic real-time automata (DRTA) from positive data. This data can be obtained from observations of the process to be modeled. The DRTA model we learn from such data can be used reason and gain knowledge about real-time systems such as network protocols, business processes, reactive sys-tems, etc. 1