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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.