ResearchTasksPCTL formula satisfaction probabilityPCTL formula satisfaction probabilityFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedStochastic Dubins Vehicle Case Studies (Case C)Feedback control strategy for stochastic Dubins vehicle93.5Satisfaction Probability4Jun 4, 2026Stochastic Dubins Vehicle Case Studies Case BFeedback control strategy for stochastic Dubins vehicle92.8Satisfaction Probability4Jun 4, 2026Stochastic Dubins Vehicle Case Studies Case AFeedback control strategy for stochastic Dubins vehicle100Satisfaction Probability4Jun 4, 2026
Stochastic Dubins Vehicle Case Studies (Case C)Feedback control strategy for stochastic Dubins vehicle93.5Satisfaction Probability4Jun 4, 2026
Stochastic Dubins Vehicle Case Studies Case BFeedback control strategy for stochastic Dubins vehicle92.8Satisfaction Probability4Jun 4, 2026
Stochastic Dubins Vehicle Case Studies Case AFeedback control strategy for stochastic Dubins vehicle100Satisfaction Probability4Jun 4, 2026