Pages that link to "Item:Q2248072"
From MaRDI portal
The following pages link to Model checking for probabilistic timed automata (Q2248072):
Displaying 17 items.
- Expected reachability-time games (Q278757) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Model checking for entanglement swapping (Q2112108) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Preface to the special issue on probabilistic model checking (Q2248070) (← links)
- Probabilistic Time Petri Nets (Q2822657) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- (Q5028426) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)
- Max-entropy sampling for deterministic timed automata under linear duration constraints (Q6546454) (← links)
