Optimization of Timed Scenarios

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-63882-5_8 ◽

2020 ◽

pp. 119-136

Author(s):

Neda Saeedloei ◽

Feliks Kluźniak

Download Full-text