Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking.

Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato

Browse the full DASC paper archive.