Pages that link to "Item:Q3512514"
From MaRDI portal
The following pages link to Correcting a Space-Efficient Simulation Algorithm (Q3512514):
Displayed 10 items.
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Minimal consistent DFA from sample strings (Q2182675) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- Modal logic and the approximation induction principle (Q2883116) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)
- A Space-Efficient Probabilistic Simulation Algorithm (Q3541022) (← links)
- Five Determinisation Algorithms (Q3602811) (← links)