Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Research article (Electronic Proceedings in Theoretical Computer Science, 2016) · cited 27× · AI/ML