Crossmark

Cycle encoding-based parameter synthesis for timed automata safety

Published Online: 2024-07-30

Published Print: 2024-12

Authors

Sucu, Burkay

Aydin Gol, Ebru
License Information

Text and Data Mining valid from 2024-07-30

Version of Record valid from 2024-07-30
More Information

Article History

Received: 21 November 2023

Accepted: 19 July 2024

First Online: 30 July 2024

Declarations

:

: The authors declare no competing interests.

Document is current