![]() | ![]() |
2009 | ||
---|---|---|
3 | EE | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. LATA 2009: 740-751 |
2008 | ||
2 | EE | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: Polynomial Distinguishability of Timed Automata. ICGI 2008: 238-251 |
2005 | ||
1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: Timed Inference for Behavioral Pattern Recognition. BNAIC 2005: 291-296 |
1 | Mathijs de Weerdt | [1] [2] [3] |
2 | Cees Witteveen | [1] [2] [3] |