Value and policy iteration algorithms compute optimal robust control policies for stochastic games with LTL constraints when the adversary observes the policy first.
Robust control of uncertain Markov decision processes with temporal logic specifications,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Optimal Secure Control with Linear Temporal Logic Constraints
Value and policy iteration algorithms compute optimal robust control policies for stochastic games with LTL constraints when the adversary observes the policy first.