Matches in SemOpenAlex for { <https://semopenalex.org/work/W2253126574> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2253126574 endingPage "530" @default.
- W2253126574 startingPage "513" @default.
- W2253126574 abstract "Weighted timed automata have been defined in the early 2000 s for modelling resource-consumption or -allocation problems in real-time systems. Optimal reachability is decidable in weighted timed automata, and a symbolic forward algorithm has been developed to solve that problem. This algorithm uses so-called priced zones, an extension of standard zones with cost functions. In order to ensure termination, the algorithm requires clocks to be bounded. For unpriced timed automata, much work has been done to develop sound abstractions adapted to the forward exploration of timed automata, ensuring termination of the model-checking algorithm without bounding the clocks. In this paper, we take advantage of recent developments on abstractions for timed automata, and propose an algorithm allowing for symbolic analysis of all weighted timed automata, without requiring bounded clocks." @default.
- W2253126574 created "2016-06-24" @default.
- W2253126574 creator A5010443860 @default.
- W2253126574 creator A5041884792 @default.
- W2253126574 creator A5084605938 @default.
- W2253126574 date "2016-01-01" @default.
- W2253126574 modified "2023-09-30" @default.
- W2253126574 title "Symbolic Optimal Reachability in Weighted Timed Automata" @default.
- W2253126574 cites W1573865009 @default.
- W2253126574 cites W1601091540 @default.
- W2253126574 cites W19186523 @default.
- W2253126574 cites W1977308797 @default.
- W2253126574 cites W1987734880 @default.
- W2253126574 cites W1995691455 @default.
- W2253126574 cites W2007490191 @default.
- W2253126574 cites W2056957549 @default.
- W2253126574 cites W2065323166 @default.
- W2253126574 cites W2080316200 @default.
- W2253126574 cites W2085838366 @default.
- W2253126574 cites W2091971051 @default.
- W2253126574 cites W2101508170 @default.
- W2253126574 cites W2122113444 @default.
- W2253126574 cites W2130664212 @default.
- W2253126574 cites W2153669449 @default.
- W2253126574 cites W2162327103 @default.
- W2253126574 cites W31976835 @default.
- W2253126574 cites W41277334 @default.
- W2253126574 cites W4250589301 @default.
- W2253126574 cites W59365162 @default.
- W2253126574 cites W837480072 @default.
- W2253126574 doi "https://doi.org/10.1007/978-3-319-41528-4_28" @default.
- W2253126574 hasPublicationYear "2016" @default.
- W2253126574 type Work @default.
- W2253126574 sameAs 2253126574 @default.
- W2253126574 citedByCount "14" @default.
- W2253126574 countsByYear W22531265742017 @default.
- W2253126574 countsByYear W22531265742018 @default.
- W2253126574 countsByYear W22531265742019 @default.
- W2253126574 countsByYear W22531265742020 @default.
- W2253126574 countsByYear W22531265742021 @default.
- W2253126574 countsByYear W22531265742022 @default.
- W2253126574 countsByYear W22531265742023 @default.
- W2253126574 crossrefType "book-chapter" @default.
- W2253126574 hasAuthorship W2253126574A5010443860 @default.
- W2253126574 hasAuthorship W2253126574A5041884792 @default.
- W2253126574 hasAuthorship W2253126574A5084605938 @default.
- W2253126574 hasBestOaLocation W22531265742 @default.
- W2253126574 hasConcept C110251889 @default.
- W2253126574 hasConcept C112505250 @default.
- W2253126574 hasConcept C11413529 @default.
- W2253126574 hasConcept C134306372 @default.
- W2253126574 hasConcept C136643341 @default.
- W2253126574 hasConcept C153269930 @default.
- W2253126574 hasConcept C154945302 @default.
- W2253126574 hasConcept C2777669093 @default.
- W2253126574 hasConcept C30788636 @default.
- W2253126574 hasConcept C33923547 @default.
- W2253126574 hasConcept C34388435 @default.
- W2253126574 hasConcept C41008148 @default.
- W2253126574 hasConcept C63584917 @default.
- W2253126574 hasConcept C80444323 @default.
- W2253126574 hasConceptScore W2253126574C110251889 @default.
- W2253126574 hasConceptScore W2253126574C112505250 @default.
- W2253126574 hasConceptScore W2253126574C11413529 @default.
- W2253126574 hasConceptScore W2253126574C134306372 @default.
- W2253126574 hasConceptScore W2253126574C136643341 @default.
- W2253126574 hasConceptScore W2253126574C153269930 @default.
- W2253126574 hasConceptScore W2253126574C154945302 @default.
- W2253126574 hasConceptScore W2253126574C2777669093 @default.
- W2253126574 hasConceptScore W2253126574C30788636 @default.
- W2253126574 hasConceptScore W2253126574C33923547 @default.
- W2253126574 hasConceptScore W2253126574C34388435 @default.
- W2253126574 hasConceptScore W2253126574C41008148 @default.
- W2253126574 hasConceptScore W2253126574C63584917 @default.
- W2253126574 hasConceptScore W2253126574C80444323 @default.
- W2253126574 hasLocation W22531265741 @default.
- W2253126574 hasLocation W22531265742 @default.
- W2253126574 hasOpenAccess W2253126574 @default.
- W2253126574 hasPrimaryLocation W22531265741 @default.
- W2253126574 hasRelatedWork W1582650717 @default.
- W2253126574 hasRelatedWork W2021255060 @default.
- W2253126574 hasRelatedWork W2077321406 @default.
- W2253126574 hasRelatedWork W2139989305 @default.
- W2253126574 hasRelatedWork W2153269726 @default.
- W2253126574 hasRelatedWork W2166969310 @default.
- W2253126574 hasRelatedWork W2950207863 @default.
- W2253126574 hasRelatedWork W3023596811 @default.
- W2253126574 hasRelatedWork W4299574883 @default.
- W2253126574 hasRelatedWork W4299578911 @default.
- W2253126574 isParatext "false" @default.
- W2253126574 isRetracted "false" @default.
- W2253126574 magId "2253126574" @default.
- W2253126574 workType "book-chapter" @default.