# Reachability Analysis Plus Satisfiability Modulo Theories: An Adversary-Proof Control Method for Connected and Autonomous Vehicles

> Research article (IEEE Transactions on Industrial Electronics, 2022) · cited 19× · AI/ML

**Wikidata**: [openalex:W4226075536](https://www.wikidata.org/wiki/openalex:W4226075536)  
**Source**: https://4ort.xyz/entity/reachability-analysis-plus-satisfiability-modulo-theories-an-adversary-proof-control-method-for-connected-and-autonomous