The following pages link to Gethin Norman (Q278755):
Displaying 27 items.
- Expected reachability-time games (Q278757) (← links)
- Analysis of stochastic matching markets (Q378330) (← links)
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol (Q1402478) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- A symbolic out-of-core solution method for Markov models (Q2842856) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Expected Reachability-Time Games (Q3588088) (← links)
- (Q4222974) (← links)
- (Q4255552) (← links)
- (Q4422079) (← links)
- (Q4536598) (← links)
- (Q4551150) (← links)
- (Q4791267) (← links)
- (Q4813203) (← links)
- (Q4813204) (← links)
- Validation of Stochastic Systems (Q5325843) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464754) (← links)
- Foundations of Software Science and Computational Structures (Q5705913) (← links)
- Correlated equilibria and fairness in concurrent stochastic games (Q6535606) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
- Probabilistic model checking for strategic equilibria-based decision making: advances and challenges (invited talk) (Q6583994) (← links)
- Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games (Q6614884) (← links)
