Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299578911> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4299578911 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.
- W4299578911 created "2022-10-02" @default.
- W4299578911 creator A5010443860 @default.
- W4299578911 creator A5041884792 @default.
- W4299578911 creator A5084605938 @default.
- W4299578911 date "2016-02-01" @default.
- W4299578911 modified "2023-09-27" @default.
- W4299578911 title "Symbolic Optimal Reachability in Weighted Timed Automata" @default.
- W4299578911 doi "https://doi.org/10.48550/arxiv.1602.00481" @default.
- W4299578911 hasPublicationYear "2016" @default.
- W4299578911 type Work @default.
- W4299578911 citedByCount "0" @default.
- W4299578911 crossrefType "posted-content" @default.
- W4299578911 hasAuthorship W4299578911A5010443860 @default.
- W4299578911 hasAuthorship W4299578911A5041884792 @default.
- W4299578911 hasAuthorship W4299578911A5084605938 @default.
- W4299578911 hasBestOaLocation W42995789111 @default.
- W4299578911 hasConcept C110251889 @default.
- W4299578911 hasConcept C112505250 @default.
- W4299578911 hasConcept C11413529 @default.
- W4299578911 hasConcept C134306372 @default.
- W4299578911 hasConcept C136643341 @default.
- W4299578911 hasConcept C153269930 @default.
- W4299578911 hasConcept C154945302 @default.
- W4299578911 hasConcept C2777669093 @default.
- W4299578911 hasConcept C30788636 @default.
- W4299578911 hasConcept C33923547 @default.
- W4299578911 hasConcept C34388435 @default.
- W4299578911 hasConcept C41008148 @default.
- W4299578911 hasConcept C63584917 @default.
- W4299578911 hasConcept C80444323 @default.
- W4299578911 hasConceptScore W4299578911C110251889 @default.
- W4299578911 hasConceptScore W4299578911C112505250 @default.
- W4299578911 hasConceptScore W4299578911C11413529 @default.
- W4299578911 hasConceptScore W4299578911C134306372 @default.
- W4299578911 hasConceptScore W4299578911C136643341 @default.
- W4299578911 hasConceptScore W4299578911C153269930 @default.
- W4299578911 hasConceptScore W4299578911C154945302 @default.
- W4299578911 hasConceptScore W4299578911C2777669093 @default.
- W4299578911 hasConceptScore W4299578911C30788636 @default.
- W4299578911 hasConceptScore W4299578911C33923547 @default.
- W4299578911 hasConceptScore W4299578911C34388435 @default.
- W4299578911 hasConceptScore W4299578911C41008148 @default.
- W4299578911 hasConceptScore W4299578911C63584917 @default.
- W4299578911 hasConceptScore W4299578911C80444323 @default.
- W4299578911 hasLocation W42995789111 @default.
- W4299578911 hasOpenAccess W4299578911 @default.
- W4299578911 hasPrimaryLocation W42995789111 @default.
- W4299578911 hasRelatedWork W1582650717 @default.
- W4299578911 hasRelatedWork W2021255060 @default.
- W4299578911 hasRelatedWork W2077321406 @default.
- W4299578911 hasRelatedWork W2139989305 @default.
- W4299578911 hasRelatedWork W2153269726 @default.
- W4299578911 hasRelatedWork W2166969310 @default.
- W4299578911 hasRelatedWork W2950207863 @default.
- W4299578911 hasRelatedWork W3023596811 @default.
- W4299578911 hasRelatedWork W4299574883 @default.
- W4299578911 hasRelatedWork W4299578911 @default.
- W4299578911 isParatext "false" @default.
- W4299578911 isRetracted "false" @default.
- W4299578911 workType "article" @default.