Pages that link to "Item:Q3510797"
From MaRDI portal
The following pages link to Deciding Simulations on Probabilistic Automata (Q3510797):
Displaying 6 items.
- Probabilistic weak simulation is decidable in polynomial time (Q1029062) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- A Space-Efficient Probabilistic Simulation Algorithm (Q3541022) (← links)
- A NUMERICAL DETERMINING OF THE CRITICAL CONDITIONS FOR SPARK IGNITION AND YIELDING OF A STABLE COMBUSTION OF A LEAN METHANE-AIR MIXTURE (Q5042993) (← links)