Pages that link to "Item:Q2213111"
From MaRDI portal
The following pages link to Computation tree logic model checking based on multi-valued possibility measures (Q2213111):
Displaying 3 items.
- Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler (Q2090217) (← links)
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
- Generalized possibility computation tree logic with frequency and its model checking (Q6596703) (← links)
