Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386473677> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4386473677 endingPage "149" @default.
- W4386473677 startingPage "133" @default.
- W4386473677 abstract "This paper introduces Behavioral QLTL, a “behavioral” variant of Linear Temporal Logic (ltl) with second-order quantifiers. Behavioral qltl is characterized by the fact that the functions that assign the truth value of the quantified propositions along the trace can only depend on the past. In other words, such functions must be “processes” [1]. This gives the logic a strategic flavor that we usually associate with planning. Indeed we show that temporally extended planning in nondeterministic domains and ltl synthesis are expressed in Behavioral qltl through formulas with a simple quantification alternation. While as this alternation increases, we get to forms of planning/synthesis in which contingent and conformant planning aspects get mixed. We study this logic from the computational point of view and compare it to the original qltl (with non-behavioral semantics) and simpler forms of behavioral semantics." @default.
- W4386473677 created "2023-09-07" @default.
- W4386473677 creator A5013290512 @default.
- W4386473677 creator A5066350298 @default.
- W4386473677 date "2023-01-01" @default.
- W4386473677 modified "2023-09-30" @default.
- W4386473677 title "Behavioral QLTL" @default.
- W4386473677 cites W142385736 @default.
- W4386473677 cites W1484584685 @default.
- W4386473677 cites W1499127572 @default.
- W4386473677 cites W1527293087 @default.
- W4386473677 cites W1527405706 @default.
- W4386473677 cites W1527743161 @default.
- W4386473677 cites W1552135236 @default.
- W4386473677 cites W1590266960 @default.
- W4386473677 cites W1608875152 @default.
- W4386473677 cites W1816620374 @default.
- W4386473677 cites W1976773489 @default.
- W4386473677 cites W2001516787 @default.
- W4386473677 cites W2016206563 @default.
- W4386473677 cites W2023808162 @default.
- W4386473677 cites W2048905609 @default.
- W4386473677 cites W2108947407 @default.
- W4386473677 cites W2141088850 @default.
- W4386473677 cites W2157319504 @default.
- W4386473677 cites W2912248071 @default.
- W4386473677 cites W2964574649 @default.
- W4386473677 cites W2966828147 @default.
- W4386473677 cites W3037219283 @default.
- W4386473677 cites W3103056503 @default.
- W4386473677 cites W3153705421 @default.
- W4386473677 cites W3161257624 @default.
- W4386473677 cites W4236387090 @default.
- W4386473677 cites W4288046534 @default.
- W4386473677 cites W4299591165 @default.
- W4386473677 doi "https://doi.org/10.1007/978-3-031-43264-4_9" @default.
- W4386473677 hasPublicationYear "2023" @default.
- W4386473677 type Work @default.
- W4386473677 citedByCount "0" @default.
- W4386473677 crossrefType "book-chapter" @default.
- W4386473677 hasAuthorship W4386473677A5013290512 @default.
- W4386473677 hasAuthorship W4386473677A5066350298 @default.
- W4386473677 hasConcept C11413529 @default.
- W4386473677 hasConcept C138885662 @default.
- W4386473677 hasConcept C154945302 @default.
- W4386473677 hasConcept C176181172 @default.
- W4386473677 hasConcept C184337299 @default.
- W4386473677 hasConcept C199360897 @default.
- W4386473677 hasConcept C26826806 @default.
- W4386473677 hasConcept C28077239 @default.
- W4386473677 hasConcept C41008148 @default.
- W4386473677 hasConcept C41895202 @default.
- W4386473677 hasConcept C4777664 @default.
- W4386473677 hasConcept C75291252 @default.
- W4386473677 hasConcept C80444323 @default.
- W4386473677 hasConceptScore W4386473677C11413529 @default.
- W4386473677 hasConceptScore W4386473677C138885662 @default.
- W4386473677 hasConceptScore W4386473677C154945302 @default.
- W4386473677 hasConceptScore W4386473677C176181172 @default.
- W4386473677 hasConceptScore W4386473677C184337299 @default.
- W4386473677 hasConceptScore W4386473677C199360897 @default.
- W4386473677 hasConceptScore W4386473677C26826806 @default.
- W4386473677 hasConceptScore W4386473677C28077239 @default.
- W4386473677 hasConceptScore W4386473677C41008148 @default.
- W4386473677 hasConceptScore W4386473677C41895202 @default.
- W4386473677 hasConceptScore W4386473677C4777664 @default.
- W4386473677 hasConceptScore W4386473677C75291252 @default.
- W4386473677 hasConceptScore W4386473677C80444323 @default.
- W4386473677 hasLocation W43864736771 @default.
- W4386473677 hasOpenAccess W4386473677 @default.
- W4386473677 hasPrimaryLocation W43864736771 @default.
- W4386473677 hasRelatedWork W1513077802 @default.
- W4386473677 hasRelatedWork W1518436864 @default.
- W4386473677 hasRelatedWork W1535889317 @default.
- W4386473677 hasRelatedWork W2003908917 @default.
- W4386473677 hasRelatedWork W2102187481 @default.
- W4386473677 hasRelatedWork W2256753787 @default.
- W4386473677 hasRelatedWork W2909400163 @default.
- W4386473677 hasRelatedWork W2966086059 @default.
- W4386473677 hasRelatedWork W3132333872 @default.
- W4386473677 hasRelatedWork W4289710043 @default.
- W4386473677 isParatext "false" @default.
- W4386473677 isRetracted "false" @default.
- W4386473677 workType "book-chapter" @default.