Minimization of the Number of Clocks for Timed Scenarios

von Saeedloei, Neda
Veröffentlicht in SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications (2021)

Optimization of Timed Scenarios

von Saeedloei, Neda
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

Synthesizing Clock-Efficient Timed Automata

von Saeedloei, Neda
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks

von Saeedloei, Neda
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

Technical communications of the 34th International Conference on Logic Programming : ICLP 2018 : July 14-17, 2018, Oxford, United Kingdom

Veröffentlicht 2018