Decomposition of timed automata for solving scheduling problems.

Tatsushi Nishi, Masato Wakatake, Masahiro Inuiguchi

Browse the full SMC paper archive.