Controller Synthesis for MTL Specifications.

Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier

Browse the full CONCUR paper archive.