Deep Random Search for Efficient Model Checking of Timed Automata
https://www.powershow.com/view/e6eff-YjA4Z/Deep_Random_Search_for_Efficient_Model_Checking_of_Timed_Automata_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/