# On Computational Tractability for Rational Verification

> Research article (Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019) · cited 10× · AI/ML

**Wikidata**: [openalex:W2964771972](https://www.wikidata.org/wiki/openalex:W2964771972)  
**Source**: https://4ort.xyz/entity/on-computational-tractability-for-rational-verification