# Ensuring drivability of planned motions using formal methods

> Research article (2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), 2017) · cited 48× · AI/ML

**Wikidata**: [openalex:W2751537745](https://www.wikidata.org/wiki/openalex:W2751537745)  
**Source**: https://4ort.xyz/entity/ensuring-drivability-of-planned-motions-using-formal-methods