Interval-based Solutions for Reliable and Safe Navigation of Intelligent Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore