Spatiotemporal Tube-Based Safety-Certificate for Autonomous Navigation of Articulated Vehicles | Digital Library | PAMCET | PAMCET