Ebru AYDIN GOL
Control synthesis for parametric timed automata under reachability
Control synthesis for parametric timed automata under reachability
Turkish Journal of Electrical Engineering and Computer Sciences
2021-Cilt: 29 - Sayı: 3
1751-1764
92
96