The following pages link to (Q4813204):
Displaying 13 items.
- Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (Q736791) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- Exact quantitative probabilistic model checking through rational search (Q2225475) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- (Q5129946) (← links)
- Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
- (Q5875366) (← links)
