Deadlock prevention in flexible manufacturing systems using symbolic model checking.

Vasiliki Hartonas-Garmhausen, Edmund M. Clarke, S. Campos

Browse the full ICRA paper archive.