# Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

> Research article (Electronic Proceedings in Theoretical Computer Science, 2016) · cited 27× · AI/ML

**Wikidata**: [openalex:W2564045982](https://www.wikidata.org/wiki/openalex:W2564045982)  
**Source**: https://4ort.xyz/entity/towards-the-verification-of-safety-critical-autonomous-systems-in-dynamic-environments