The following pages link to (Q5260751):
Displaying 5 items.
- Computation tree logic model checking based on possibility measures (Q529055) (← links)
- Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler (Q2090217) (← links)
- Fixed-point semantics of computation tree logic based on generalized possibility measures (Q3461727) (← links)
- (Q4037084) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
