Pages that link to "Item:Q5758107"
From MaRDI portal
The following pages link to Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (Q5758107):
Displaying 6 items.
- Polynomial time decision algorithms for probabilistic automata (Q498403) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- Deciding Simulations on Probabilistic Automata (Q3510797) (← links)
- A Space-Efficient Probabilistic Simulation Algorithm (Q3541022) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
