Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247381900> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2247381900 endingPage "157" @default.
- W2247381900 startingPage "144" @default.
- W2247381900 abstract "We continue the investigation of parameterized extensions of Linear Temporal Logic (LTL) that retain the attractive algorithmic properties of LTL: a polynomial space model checking algorithm and a doubly-exponential time algorithm for solving games. Alur et al. and Kupferman et al. showed that this is the case for Parametric LTL (PLTL) and PROMPT-LTL respectively, which have temporal operators equipped with variables that bound their scope in time. Later, this was also shown to be true for Parametric LDL (PLDL), which extends PLTL to be able to express all omega-regular properties. Here, we generalize PLTL to systems with costs, i.e., we do not bound the scope of operators in time, but bound the scope in terms of the cost accumulated during time. Again, we show that model checking and solving games for specifications in PLTL with costs is not harder than the corresponding problems for LTL. Finally, we discuss PLDL with costs and extensions to multiple cost functions." @default.
- W2247381900 created "2016-06-24" @default.
- W2247381900 creator A5064596121 @default.
- W2247381900 date "2015-09-23" @default.
- W2247381900 modified "2023-09-27" @default.
- W2247381900 title "Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL" @default.
- W2247381900 cites W10842229 @default.
- W2247381900 cites W1494274610 @default.
- W2247381900 cites W1513400763 @default.
- W2247381900 cites W1517238936 @default.
- W2247381900 cites W1521551618 @default.
- W2247381900 cites W1525546443 @default.
- W2247381900 cites W1526785305 @default.
- W2247381900 cites W1695941179 @default.
- W2247381900 cites W1737156267 @default.
- W2247381900 cites W1786377004 @default.
- W2247381900 cites W1790689966 @default.
- W2247381900 cites W1839854015 @default.
- W2247381900 cites W1966723394 @default.
- W2247381900 cites W1967039025 @default.
- W2247381900 cites W1990609140 @default.
- W2247381900 cites W2003227046 @default.
- W2247381900 cites W2010137316 @default.
- W2247381900 cites W2015287249 @default.
- W2247381900 cites W2016206563 @default.
- W2247381900 cites W2019700891 @default.
- W2247381900 cites W2048780543 @default.
- W2247381900 cites W2172290937 @default.
- W2247381900 cites W2247050992 @default.
- W2247381900 cites W2792346428 @default.
- W2247381900 cites W2806619258 @default.
- W2247381900 cites W3002839602 @default.
- W2247381900 doi "https://doi.org/10.4204/eptcs.193.11" @default.
- W2247381900 hasPublicationYear "2015" @default.
- W2247381900 type Work @default.
- W2247381900 sameAs 2247381900 @default.
- W2247381900 citedByCount "6" @default.
- W2247381900 countsByYear W22473819002015 @default.
- W2247381900 countsByYear W22473819002016 @default.
- W2247381900 countsByYear W22473819002017 @default.
- W2247381900 crossrefType "journal-article" @default.
- W2247381900 hasAuthorship W2247381900A5064596121 @default.
- W2247381900 hasBestOaLocation W22473819001 @default.
- W2247381900 hasConcept C105795698 @default.
- W2247381900 hasConcept C110251889 @default.
- W2247381900 hasConcept C11413529 @default.
- W2247381900 hasConcept C117251300 @default.
- W2247381900 hasConcept C118615104 @default.
- W2247381900 hasConcept C126255220 @default.
- W2247381900 hasConcept C165464430 @default.
- W2247381900 hasConcept C179799912 @default.
- W2247381900 hasConcept C197685441 @default.
- W2247381900 hasConcept C199360897 @default.
- W2247381900 hasConcept C2778012447 @default.
- W2247381900 hasConcept C33923547 @default.
- W2247381900 hasConcept C41008148 @default.
- W2247381900 hasConcept C4777664 @default.
- W2247381900 hasConcept C80444323 @default.
- W2247381900 hasConceptScore W2247381900C105795698 @default.
- W2247381900 hasConceptScore W2247381900C110251889 @default.
- W2247381900 hasConceptScore W2247381900C11413529 @default.
- W2247381900 hasConceptScore W2247381900C117251300 @default.
- W2247381900 hasConceptScore W2247381900C118615104 @default.
- W2247381900 hasConceptScore W2247381900C126255220 @default.
- W2247381900 hasConceptScore W2247381900C165464430 @default.
- W2247381900 hasConceptScore W2247381900C179799912 @default.
- W2247381900 hasConceptScore W2247381900C197685441 @default.
- W2247381900 hasConceptScore W2247381900C199360897 @default.
- W2247381900 hasConceptScore W2247381900C2778012447 @default.
- W2247381900 hasConceptScore W2247381900C33923547 @default.
- W2247381900 hasConceptScore W2247381900C41008148 @default.
- W2247381900 hasConceptScore W2247381900C4777664 @default.
- W2247381900 hasConceptScore W2247381900C80444323 @default.
- W2247381900 hasLocation W22473819001 @default.
- W2247381900 hasLocation W22473819002 @default.
- W2247381900 hasLocation W22473819003 @default.
- W2247381900 hasLocation W22473819004 @default.
- W2247381900 hasOpenAccess W2247381900 @default.
- W2247381900 hasPrimaryLocation W22473819001 @default.
- W2247381900 hasRelatedWork W1543261728 @default.
- W2247381900 hasRelatedWork W2065896142 @default.
- W2247381900 hasRelatedWork W2099074223 @default.
- W2247381900 hasRelatedWork W2120277271 @default.
- W2247381900 hasRelatedWork W2121482121 @default.
- W2247381900 hasRelatedWork W2198025144 @default.
- W2247381900 hasRelatedWork W2247381900 @default.
- W2247381900 hasRelatedWork W4200153695 @default.
- W2247381900 hasRelatedWork W4221113141 @default.
- W2247381900 hasRelatedWork W4321360133 @default.
- W2247381900 hasVolume "193" @default.
- W2247381900 isParatext "false" @default.
- W2247381900 isRetracted "false" @default.
- W2247381900 magId "2247381900" @default.
- W2247381900 workType "article" @default.