Pages that link to "Item:Q3588096"
From MaRDI portal
The following pages link to Simulation and Bisimulation for Probabilistic Timed Automata (Q3588096):
Displaying 10 items.
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Probabilistic logical characterization (Q627128) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- (Q3111928) (← links)
- On Probabilistic Alternating Simulations (Q3163874) (← links)
- Trace-Based Semantics for Probabilistic Timed I/O Automata (Q3613020) (← links)
- Efficient scaling-invariant checking of timed bisimulation (Q5047170) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896951) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)