Pages that link to "Item:Q2282319"
From MaRDI portal
The following pages link to Model checking of linear-time properties in multi-valued systems (Q2282319):
Displaying 6 items.
- Fuzzy alternating automata over distributive lattices (Q781276) (← links)
- Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
- Computation tree logic model checking based on multi-valued possibility measures (Q2213111) (← links)
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
- (Q4964807) (← links)
- Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them (Q6081538) (← links)
