Fig 1.
The space of possible values of uncertain variables.
Fig 2.
Robust satisficing decision-making framework.
Fig 3.
The solution schemes for the min-max robust decision-making method and the robust satisficing decision-making method.
(A) Solution scheme for the min-max robust decision-making method. (B) Solution scheme for the robust satisficing decision-making method.
Fig 4.
The monotonicity relationship between the highest worst-case LSP and the uncertainty level, and the maximum robustness.
Fig 5.
The mission space with atomic propositions.
Fig 6.
The transition probability for action ‘up’.
Fig 7.
The original trajectory of the robust satisficing policy through forward simulation.
Fig 8.
The trajectory of the robust satisficing policy removing overlaps.
Fig 9.
The robustness curve for the robust satisficing policy π*.
Fig 10.
The maximum robustness curve.
Table 1.
Robustness for different desired probability levels of satisfying LTL specifications.
Table 2.
Desired probability level vs. true probability of satisfying the LTL specifications.
Fig 11.
The trajectory of the min-max robust policy πm through forward simulations.
Fig 12.
The trajectory of the robust satisficing policy πs through forward simulations.
Fig 13.
The histograms representing the true LSPs for the min-max robust policy πm and the robust satisficing policy πs at different uncertainty levels.
Fig 14.
The curves representing the true LSPs for the min-max robust policy πm and the robust satisficing policy πs at different uncertainty levels.
Table 3.
The true LSPs for the min-max robust policy πm and the robust satisficing policy πs at different uncertainty levels.
Fig 15.
The trajectory of the RDM robust policy πr1 through forward simulations.
Fig 16.
The trajectory of the RDM robust policy πr2 through forward simulations.
Fig 17.
The curves representing the true LSPs for the robust satisficing policy πs and the RDM robust policies πr1 and πr2 at different uncertainty levels.
Table 4.
The true LSPs for the robust satisficing policy πs and the RDM robust policies πr1 and πr2 at different uncertainty levels.