Value and policy iteration algorithms compute optimal robust control policies for stochastic games with LTL constraints when the adversary observes the policy first.
Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP
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.