An abstract model for proving safety of autonomous urban traffic
Research article (Theoretical Computer Science, 2018) · cited 25× · AI/ML