Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
From MaRDI portal
Recommendations
- Bisimulations for fuzzy transition systems revisited
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- scientific article; zbMATH DE number 6612705
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- A fuzzy modal logic for fuzzy transition systems
Cites work
- A behavioural pseudometric for probabilistic transition systems
- Algebraic laws for nondeterminism and concurrency
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Bisimulation for labelled Markov processes
- Bisimulation through probabilistic testing
- Bisimulations for fuzzy automata
- Bisimulations for non-deterministic labelled Markov processes
- Bisimulations for weighted automata over an additively idempotent semiring
- Coalgebras for fuzzy transition systems
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Contrapositive symmetry of fuzzy implications
- Fuzzy sets as a basis for a theory of possibility
- scientific article; zbMATH DE number 1696897 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- Latticed simulation relations and games
- Logical characterizations of behavioral relations on transition systems of probability distributions
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Model checking computation tree logic over finite lattices
- Nondeterministic fuzzy automata
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Probabilistic extensions of process algebras.
- Probabilistic logical characterization
- Similarity relations and fuzzy orderings
Cited in
(19)- Bisimulations for fuzzy transition systems revisited
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Weak bisimulations for fuzzy automata
- scientific article; zbMATH DE number 6612705 (Why is no real title available?)
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Characterization and computation of approximate bisimulations for fuzzy automata
- Fuzzy simulations and bisimulations between fuzzy automata
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
- Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Breadth-first fuzzy bisimulations for fuzzy automata
- Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems
- Approximate weak simulations and bisimulations for fuzzy automata over the product structure
- Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations
- Depth-bounded fuzzy simulations and bisimulations between fuzzy automata
- Approximate bisimulations for fuzzy-transition systems
- Alternating refinement relations for fuzzy concurrent game structures
- Quantitative graded semantics and spectra of behavioural metrics
This page was built for publication: Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1697986)
