Emily Clement. Robustness of timed automata : computing the maximally-permissive strategies. (Robustesse des automates temporisés : calculer les stratégies les plus permissives). PhD thesis, University of Rennes 1, France, 2022. [doi]
Abstract is missing.