Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287710067> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4287710067 abstract "This paper studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in the presence of an adversary. The interaction of the agent (defender) with the adversary is modeled as a partially observable stochastic game. The goal is to generate a defender policy to maximize satisfaction of a given temporal logic specification under any adversary policy. The search for policies is limited to the space of finite state controllers, which leads to a tractable approach to determine policies. We relate the satisfaction of the specification to reaching (a subset of) recurrent states of a Markov chain. We present an algorithm to determine a set of defender and adversary finite state controllers of fixed sizes that will satisfy the temporal logic specification, and prove that it is sound. We then propose a value-iteration algorithm to maximize the probability of satisfying the temporal logic specification under finite state controllers of fixed sizes. Lastly, we extend this setting to the scenario where the size of the finite state controller of the defender can be increased to improve the satisfaction probability. We illustrate our approach with an example." @default.
- W4287710067 created "2022-07-26" @default.
- W4287710067 creator A5003489427 @default.
- W4287710067 creator A5018806127 @default.
- W4287710067 creator A5052064870 @default.
- W4287710067 creator A5073781406 @default.
- W4287710067 creator A5079723268 @default.
- W4287710067 date "2020-07-22" @default.
- W4287710067 modified "2023-09-27" @default.
- W4287710067 title "Secure Control in Partially Observable Environments to Satisfy LTL Specifications" @default.
- W4287710067 doi "https://doi.org/10.48550/arxiv.2007.12501" @default.
- W4287710067 hasPublicationYear "2020" @default.
- W4287710067 type Work @default.
- W4287710067 citedByCount "0" @default.
- W4287710067 crossrefType "posted-content" @default.
- W4287710067 hasAuthorship W4287710067A5003489427 @default.
- W4287710067 hasAuthorship W4287710067A5018806127 @default.
- W4287710067 hasAuthorship W4287710067A5052064870 @default.
- W4287710067 hasAuthorship W4287710067A5073781406 @default.
- W4287710067 hasAuthorship W4287710067A5079723268 @default.
- W4287710067 hasBestOaLocation W42877100671 @default.
- W4287710067 hasConcept C105795698 @default.
- W4287710067 hasConcept C106189395 @default.
- W4287710067 hasConcept C110251889 @default.
- W4287710067 hasConcept C11413529 @default.
- W4287710067 hasConcept C119857082 @default.
- W4287710067 hasConcept C121332964 @default.
- W4287710067 hasConcept C126255220 @default.
- W4287710067 hasConcept C134306372 @default.
- W4287710067 hasConcept C159886148 @default.
- W4287710067 hasConcept C162392398 @default.
- W4287710067 hasConcept C167822520 @default.
- W4287710067 hasConcept C177264268 @default.
- W4287710067 hasConcept C199360897 @default.
- W4287710067 hasConcept C25016198 @default.
- W4287710067 hasConcept C32848918 @default.
- W4287710067 hasConcept C33923547 @default.
- W4287710067 hasConcept C38652104 @default.
- W4287710067 hasConcept C41008148 @default.
- W4287710067 hasConcept C41065033 @default.
- W4287710067 hasConcept C4777664 @default.
- W4287710067 hasConcept C48103436 @default.
- W4287710067 hasConcept C62520636 @default.
- W4287710067 hasConcept C72434380 @default.
- W4287710067 hasConcept C80444323 @default.
- W4287710067 hasConcept C98763669 @default.
- W4287710067 hasConceptScore W4287710067C105795698 @default.
- W4287710067 hasConceptScore W4287710067C106189395 @default.
- W4287710067 hasConceptScore W4287710067C110251889 @default.
- W4287710067 hasConceptScore W4287710067C11413529 @default.
- W4287710067 hasConceptScore W4287710067C119857082 @default.
- W4287710067 hasConceptScore W4287710067C121332964 @default.
- W4287710067 hasConceptScore W4287710067C126255220 @default.
- W4287710067 hasConceptScore W4287710067C134306372 @default.
- W4287710067 hasConceptScore W4287710067C159886148 @default.
- W4287710067 hasConceptScore W4287710067C162392398 @default.
- W4287710067 hasConceptScore W4287710067C167822520 @default.
- W4287710067 hasConceptScore W4287710067C177264268 @default.
- W4287710067 hasConceptScore W4287710067C199360897 @default.
- W4287710067 hasConceptScore W4287710067C25016198 @default.
- W4287710067 hasConceptScore W4287710067C32848918 @default.
- W4287710067 hasConceptScore W4287710067C33923547 @default.
- W4287710067 hasConceptScore W4287710067C38652104 @default.
- W4287710067 hasConceptScore W4287710067C41008148 @default.
- W4287710067 hasConceptScore W4287710067C41065033 @default.
- W4287710067 hasConceptScore W4287710067C4777664 @default.
- W4287710067 hasConceptScore W4287710067C48103436 @default.
- W4287710067 hasConceptScore W4287710067C62520636 @default.
- W4287710067 hasConceptScore W4287710067C72434380 @default.
- W4287710067 hasConceptScore W4287710067C80444323 @default.
- W4287710067 hasConceptScore W4287710067C98763669 @default.
- W4287710067 hasLocation W42877100671 @default.
- W4287710067 hasOpenAccess W4287710067 @default.
- W4287710067 hasPrimaryLocation W42877100671 @default.
- W4287710067 hasRelatedWork W10031065 @default.
- W4287710067 hasRelatedWork W1290862 @default.
- W4287710067 hasRelatedWork W13469974 @default.
- W4287710067 hasRelatedWork W2191283 @default.
- W4287710067 hasRelatedWork W2214249 @default.
- W4287710067 hasRelatedWork W5310384 @default.
- W4287710067 hasRelatedWork W5876636 @default.
- W4287710067 hasRelatedWork W660320 @default.
- W4287710067 hasRelatedWork W7587899 @default.
- W4287710067 hasRelatedWork W8540740 @default.
- W4287710067 isParatext "false" @default.
- W4287710067 isRetracted "false" @default.
- W4287710067 workType "article" @default.