PCTL formula satisfaction probability on Stochastic Dubins Vehicle Case Studies (Case C)
93.5Satisfaction ProbabilityFeedback control strategy for stochastic Dubins vehicle
Evaluation Results
| Method | Links | |
|---|---|---|
| Feedback control strategy for stochastic Dubins vehicleProtocol=Simulation, Number of generated trajectories=10^42012.07 | 93.5 | |
| Feedback control strategy for stochastic Dubins vehicleProtocol=Simulation, Number of generated trajectories=5 · 10^32012.07 | 93.1 | |
| Feedback control strategy for stochastic Dubins vehicleProtocol=Simulation, Number of generated trajectories=10^32012.07 | 91.3 | |
| Feedback control strategy for stochastic Dubins vehicleProtocol=Theoretical, Measure=V(s0)2012.07 | 89.2 |