Pages that link to "Item:Q1431342"
From MaRDI portal
The following pages link to From bisimulation to simulation: Coarsest partition problems (Q1431342):
Displayed 22 items.
- Bisimulations for fuzzy automata (Q423147) (← links)
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Fuzzy approximations of fuzzy relational structures (Q1644888) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences (Q1794961) (← links)
- Minimal consistent DFA from sample strings (Q2182675) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)
- AUTOMATIC SERVICE COMPOSITION VIA SIMULATION (Q3526983) (← links)
- A Space-Efficient Probabilistic Simulation Algorithm (Q3541022) (← links)
- Five Determinisation Algorithms (Q3602811) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)