Control Synthesis for Parametric Timed Automata under Unavoidability Specifications

Ebru Aydin Gol. Control Synthesis for Parametric Timed Automata under Unavoidability Specifications. In 2021 European Control Conference, ECC 2021, Virtual Event / Delft, The Netherlands, June 29 - July 2, 2021. pages 740-745, IEEE, 2021. [doi]

Abstract

Abstract is missing.