Report copyright - On Sufficient and Necessary Conditions in Bounded CTLploy a method based on formal verification.1 In particular, we introduce a forgetting-based approach in Computation Tree Logic
Please pass captcha verification before submit form
Please pass captcha verification before submit form