# Timed k-Tail: Automatic Inference of Timed Automata

> Research article (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017) · cited 30× · AI/ML

**Wikidata**: [openalex:W2615684752](https://www.wikidata.org/wiki/openalex:W2615684752)  
**Source**: https://4ort.xyz/entity/timed-k-tail-automatic-inference-of-timed-automata