Pages that link to "Item:Q1697514"
From MaRDI portal
The following pages link to Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514):
Displaying 9 items.
- Fuzzy alternating automata over distributive lattices (Q781276) (← links)
- Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
- Coherent checking and updating of Bayesian models without specifying the model space: a decision-theoretic semantics for possibility theory (Q2076971) (← links)
- Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler (Q2090217) (← 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)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them (Q6081538) (← links)
