Logical characterizations of simulation and bisimulation for fuzzy transition systems
From MaRDI portal
Publication:679804
Recommendations
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Bisimulations for fuzzy transition systems revisited
- scientific article; zbMATH DE number 6612705
Cites work
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 1862743 (Why is no real title available?)
- scientific article; zbMATH DE number 765034 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 6174576 (Why is no real title available?)
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
- A calculus of communicating systems
- Algebraic laws for nondeterminism and concurrency
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Approximating labelled Markov processes
- Bisimulation for labelled Markov processes
- Bisimulation minimization and symbolic model checking
- Bisimulation through probabilistic testing
- Bisimulations for fuzzy automata
- Bisimulations for weighted automata over an additively idempotent semiring
- Characterizations of fuzzy finite automata.
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Determinism and fuzzy automata
- Determinization of weighted finite automata over strong bimonoids
- Finite automata theory with membership values in lattices
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
- Fuzzy sets as a basis for a theory of possibility
- Latticed simulation relations and games
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Nondeterministic fuzzy automata
- Pattern recognition using temporal fuzzy automata
- Probabilistic logical characterization
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Simulation for lattice-valued doubly labeled transition systems
- Tree regular model checking: a simulation-based approach
Cited in
(22)- A family of graded epistemic logics
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Limited approximate bisimulations and the corresponding rough approximations
- Bisimulations for fuzzy transition systems revisited
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
- Approximate bisimulation relations for fuzzy automata
- Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Logical characterisation of parameterised bisimulations
- Fuzzy approximations of fuzzy relational structures
- Characterization and computation of approximate bisimulations for fuzzy automata
- scientific article; zbMATH DE number 6612705 (Why is no real title available?)
- A fuzzy modal logic for fuzzy transition systems
- The relationships among several forms of weighted finite automata over strong bimonoids
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Fuzzy simulations and bisimulations between fuzzy automata
This page was built for publication: Logical characterizations of simulation and bisimulation for fuzzy transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679804)
