Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045246277> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2045246277 abstract "In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at the vertices of the environment. The plant is assumed to be deterministic, while the agents are probabilistic Markov models. The goal is to control the plant such that the probability of satisfying a syntactically co-safe Linear Temporal Logic formula is maximized. We propose a computationally efficient incremental approach based on the fact that temporal logic verification is computationally cheaper than synthesis. We present a case-study where we compare our approach to the classical non-incremental approach in terms of computation time and memory usage." @default.
- W2045246277 created "2016-06-24" @default.
- W2045246277 creator A5017176660 @default.
- W2045246277 creator A5043465357 @default.
- W2045246277 creator A5086742095 @default.
- W2045246277 date "2012-09-01" @default.
- W2045246277 modified "2023-09-27" @default.
- W2045246277 title "Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints" @default.
- W2045246277 cites W1498432697 @default.
- W2045246277 cites W1540883472 @default.
- W2045246277 cites W2020824258 @default.
- W2045246277 cites W2044323243 @default.
- W2045246277 cites W2117863556 @default.
- W2045246277 cites W2148446974 @default.
- W2045246277 cites W2162943184 @default.
- W2045246277 cites W2163941698 @default.
- W2045246277 cites W2167372206 @default.
- W2045246277 cites W2949183857 @default.
- W2045246277 cites W1601373402 @default.
- W2045246277 hasPublicationYear "2012" @default.
- W2045246277 type Work @default.
- W2045246277 sameAs 2045246277 @default.
- W2045246277 citedByCount "0" @default.
- W2045246277 crossrefType "posted-content" @default.
- W2045246277 hasAuthorship W2045246277A5017176660 @default.
- W2045246277 hasAuthorship W2045246277A5043465357 @default.
- W2045246277 hasAuthorship W2045246277A5086742095 @default.
- W2045246277 hasConcept C102993220 @default.
- W2045246277 hasConcept C11413529 @default.
- W2045246277 hasConcept C119857082 @default.
- W2045246277 hasConcept C132525143 @default.
- W2045246277 hasConcept C154945302 @default.
- W2045246277 hasConcept C177264268 @default.
- W2045246277 hasConcept C17744445 @default.
- W2045246277 hasConcept C18998212 @default.
- W2045246277 hasConcept C199360897 @default.
- W2045246277 hasConcept C199539241 @default.
- W2045246277 hasConcept C203659156 @default.
- W2045246277 hasConcept C24404364 @default.
- W2045246277 hasConcept C25016198 @default.
- W2045246277 hasConcept C2777026412 @default.
- W2045246277 hasConcept C3845977 @default.
- W2045246277 hasConcept C41008148 @default.
- W2045246277 hasConcept C45374587 @default.
- W2045246277 hasConcept C4777664 @default.
- W2045246277 hasConcept C49937458 @default.
- W2045246277 hasConcept C52063229 @default.
- W2045246277 hasConcept C80444323 @default.
- W2045246277 hasConcept C98763669 @default.
- W2045246277 hasConceptScore W2045246277C102993220 @default.
- W2045246277 hasConceptScore W2045246277C11413529 @default.
- W2045246277 hasConceptScore W2045246277C119857082 @default.
- W2045246277 hasConceptScore W2045246277C132525143 @default.
- W2045246277 hasConceptScore W2045246277C154945302 @default.
- W2045246277 hasConceptScore W2045246277C177264268 @default.
- W2045246277 hasConceptScore W2045246277C17744445 @default.
- W2045246277 hasConceptScore W2045246277C18998212 @default.
- W2045246277 hasConceptScore W2045246277C199360897 @default.
- W2045246277 hasConceptScore W2045246277C199539241 @default.
- W2045246277 hasConceptScore W2045246277C203659156 @default.
- W2045246277 hasConceptScore W2045246277C24404364 @default.
- W2045246277 hasConceptScore W2045246277C25016198 @default.
- W2045246277 hasConceptScore W2045246277C2777026412 @default.
- W2045246277 hasConceptScore W2045246277C3845977 @default.
- W2045246277 hasConceptScore W2045246277C41008148 @default.
- W2045246277 hasConceptScore W2045246277C45374587 @default.
- W2045246277 hasConceptScore W2045246277C4777664 @default.
- W2045246277 hasConceptScore W2045246277C49937458 @default.
- W2045246277 hasConceptScore W2045246277C52063229 @default.
- W2045246277 hasConceptScore W2045246277C80444323 @default.
- W2045246277 hasConceptScore W2045246277C98763669 @default.
- W2045246277 hasLocation W20452462771 @default.
- W2045246277 hasOpenAccess W2045246277 @default.
- W2045246277 hasPrimaryLocation W20452462771 @default.
- W2045246277 hasRelatedWork W1975219867 @default.
- W2045246277 hasRelatedWork W2041365692 @default.
- W2045246277 hasRelatedWork W2057518119 @default.
- W2045246277 hasRelatedWork W2061372038 @default.
- W2045246277 hasRelatedWork W2063496519 @default.
- W2045246277 hasRelatedWork W2078233736 @default.
- W2045246277 hasRelatedWork W2078632509 @default.
- W2045246277 hasRelatedWork W2084726594 @default.
- W2045246277 hasRelatedWork W2103728338 @default.
- W2045246277 hasRelatedWork W2124339220 @default.
- W2045246277 hasRelatedWork W2148962689 @default.
- W2045246277 hasRelatedWork W2235884325 @default.
- W2045246277 hasRelatedWork W2570925621 @default.
- W2045246277 hasRelatedWork W2963205718 @default.
- W2045246277 hasRelatedWork W3044908040 @default.
- W2045246277 hasRelatedWork W3098895109 @default.
- W2045246277 hasRelatedWork W3128858643 @default.
- W2045246277 hasRelatedWork W3163112615 @default.
- W2045246277 hasRelatedWork W37462798 @default.
- W2045246277 hasRelatedWork W2052412483 @default.
- W2045246277 isParatext "false" @default.
- W2045246277 isRetracted "false" @default.
- W2045246277 magId "2045246277" @default.
- W2045246277 workType "article" @default.