Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

Open in new window