Using Linear Temporal Model Checking for Goaloriented Policy Refinement Frameworks
https://www.powershow.com/view/9cc89-ZjJiM/Using_Linear_Temporal_Model_Checking_for_Goaloriented_Policy_Refinement_Frameworks_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/