English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper studies the synthesis of control policies for an agent that has tosatisfy a temporal logic specification in a partially observable environment,in the presence of an adversary. The interaction of the agent (defender) withthe adversary is modeled as a partially observable stochastic game. The searchfor policies is limited to over the space of finite state controllers, whichleads to a tractable approach to determine policies. The goal is to generate adefender policy to maximize satisfaction of a given temporal logicspecification under any adversary policy. We relate the satisfaction of thespecification in terms of reaching (a subset of) recurrent states of a Markovchain. We then present a procedure to determine a set of defender and adversaryfinite state controllers of given sizes that will satisfy the temporal logicspecification. We illustrate our approach with an example.

Secure Control under Partial Observability with Temporal Logic Constraints