Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker.

Takashi Kitamura Keishi Okamoto

Published in: IEICE Trans. Inf. Syst. (2013)

Keyphrases

model checker
route planning
model checking
formal verification
formal methods
temporal logic
description language
symbolic model checking
formal specification
test suite
set theory
road network
optimal path
ai planning
specification language
autonomous vehicles
information services
software engineering