# Discretization of Temporal Models with Application to Planning with SMT

> Research article (Proceedings of the AAAI Conference on Artificial Intelligence, 2015) · cited 14× · AI/ML

**Wikidata**: [openalex:W2407103960](https://www.wikidata.org/wiki/openalex:W2407103960)  
**Source**: https://4ort.xyz/entity/discretization-of-temporal-models-with-application-to-planning-with-smt