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