PCTL formula satisfaction probability on Stochastic Dubins Vehicle Case Studies Case B
92.8Satisfaction 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 | 92.8 | |
| Feedback control strategy for stochastic Dubins vehicleProtocol=Simulation, Number of generated trajectories=5 · 10^32012.07 | 92.6 | |
| Feedback control strategy for stochastic Dubins vehicleProtocol=Simulation, Number of generated trajectories=10^32012.07 | 90.2 | |
| Feedback control strategy for stochastic Dubins vehicleProtocol=Theoretical, Measure=V(s0)2012.07 | 87.4 |