Lattice-valued simulations for quantitative transition systems
From MaRDI portal
(Redirected from Publication:473367)
Recommendations
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 2199279 (Why is no real title available?)
- A behavioural pseudometric based on \(\lambda\)-bisimilarity
- A behavioural pseudometric for probabilistic transition systems
- A lattice-theoretical fixpoint theorem and its applications
- A note on Trillas' CHC models
- Algebraic laws for nondeterminism and concurrency
- Approximation Metrics for Discrete and Continuous Systems
- Automata theory based on complete residuated lattice-valued logic. II
- Bisimulation indexes and their applications
- Bisimulation through probabilistic testing
- Bisimulations for fuzzy automata
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Congruences and homomorphisms of fuzzy automata
- Continuity of triple I methods based on several implications
- Deciding bisimilarity is P-complete
- Formalization of implication based fuzzy reasoning method
- Forward and backward simulations. I. Untimed Systems
- Hierarchical structure and applications of fuzzy logical systems
- Introduction to bisimulation and coinduction
- Metamathematics of fuzzy logic
- Metrics for labelled Markov processes
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- On robustness of the full implication triple I inference method with respect to finer measurements
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Quantitative analysis of weighted transition systems
- Reactive Systems
- Reliability of Mobile Processes with Noisy Channels
- Robustness analysis of full implication inference method
- Simulation distances
- Simulation for lattice-valued doubly labeled transition systems
- The completeness and applications of the formal system \(\mathcal L^\ast\)
Cited in
(15)- A family of graded epistemic logics
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Limited approximate bisimulations and the corresponding rough approximations
- Simulation for lattice-valued doubly labeled transition systems
- Simulations for quantitative alternating transition systems
- Approximate bisimulation relations for fuzzy automata
- Similarity-based minimization of fuzzy tree automata
- Doubly labeled transition systems based on complete residuated lattices
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Generalized possibility computation tree logic with frequency and its model checking
- The approximate correctness of systems based on \(\delta\)-bisimulation
- Polynomial-time algorithms for computing distances of fuzzy transition systems
- scientific article; zbMATH DE number 7566075 (Why is no real title available?)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Fuzzy simulations and bisimulations between fuzzy automata
This page was built for publication: Lattice-valued simulations for quantitative transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q473367)
