Transformation of Timed Automata into Mixed Integer Linear Programs Sebastian Panek
https://www.powershow.com/view/26c1e4-YWU4M/Transformation_of_Timed_Automata_into_Mixed_Integer_Linear_Programs_Sebastian_Panek_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
