Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310653166> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4310653166 abstract "We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones. For efficiency reasons, they are parametrized by the maximal lower and upper bounds (LU-bounds) occurring in the guards of the automaton. We propose an algorithm that is updating LU-bounds during exploration of the search tree. In order to keep them as small as possible, the bounds are refined only when they enable a transition that is impossible in the unabstracted system. So our algorithm can be seen as a kind of lazy CEGAR algorithm for timed automata. We show that on several standard benchmarks, the algorithm is capable of keeping very small LU-bounds, and in consequence reduce the search space substantially." @default.
- W4310653166 created "2022-12-14" @default.
- W4310653166 creator A5011012804 @default.
- W4310653166 creator A5015774482 @default.
- W4310653166 creator A5064757019 @default.
- W4310653166 date "2013-01-14" @default.
- W4310653166 modified "2023-10-16" @default.
- W4310653166 title "Lazy abstractions for timed automata" @default.
- W4310653166 doi "https://doi.org/10.48550/arxiv.1301.3127" @default.
- W4310653166 hasPublicationYear "2013" @default.
- W4310653166 type Work @default.
- W4310653166 citedByCount "0" @default.
- W4310653166 crossrefType "posted-content" @default.
- W4310653166 hasAuthorship W4310653166A5011012804 @default.
- W4310653166 hasAuthorship W4310653166A5015774482 @default.
- W4310653166 hasAuthorship W4310653166A5064757019 @default.
- W4310653166 hasBestOaLocation W43106531661 @default.
- W4310653166 hasConcept C112505250 @default.
- W4310653166 hasConcept C113174947 @default.
- W4310653166 hasConcept C11413529 @default.
- W4310653166 hasConcept C114614502 @default.
- W4310653166 hasConcept C125583679 @default.
- W4310653166 hasConcept C134306372 @default.
- W4310653166 hasConcept C136643341 @default.
- W4310653166 hasConcept C207024777 @default.
- W4310653166 hasConcept C2777669093 @default.
- W4310653166 hasConcept C2778583254 @default.
- W4310653166 hasConcept C30788636 @default.
- W4310653166 hasConcept C33923547 @default.
- W4310653166 hasConcept C41008148 @default.
- W4310653166 hasConcept C77553402 @default.
- W4310653166 hasConcept C77618280 @default.
- W4310653166 hasConcept C80444323 @default.
- W4310653166 hasConceptScore W4310653166C112505250 @default.
- W4310653166 hasConceptScore W4310653166C113174947 @default.
- W4310653166 hasConceptScore W4310653166C11413529 @default.
- W4310653166 hasConceptScore W4310653166C114614502 @default.
- W4310653166 hasConceptScore W4310653166C125583679 @default.
- W4310653166 hasConceptScore W4310653166C134306372 @default.
- W4310653166 hasConceptScore W4310653166C136643341 @default.
- W4310653166 hasConceptScore W4310653166C207024777 @default.
- W4310653166 hasConceptScore W4310653166C2777669093 @default.
- W4310653166 hasConceptScore W4310653166C2778583254 @default.
- W4310653166 hasConceptScore W4310653166C30788636 @default.
- W4310653166 hasConceptScore W4310653166C33923547 @default.
- W4310653166 hasConceptScore W4310653166C41008148 @default.
- W4310653166 hasConceptScore W4310653166C77553402 @default.
- W4310653166 hasConceptScore W4310653166C77618280 @default.
- W4310653166 hasConceptScore W4310653166C80444323 @default.
- W4310653166 hasLocation W43106531661 @default.
- W4310653166 hasLocation W43106531662 @default.
- W4310653166 hasLocation W43106531663 @default.
- W4310653166 hasLocation W43106531664 @default.
- W4310653166 hasLocation W43106531665 @default.
- W4310653166 hasLocation W43106531666 @default.
- W4310653166 hasLocation W43106531667 @default.
- W4310653166 hasOpenAccess W4310653166 @default.
- W4310653166 hasPrimaryLocation W43106531661 @default.
- W4310653166 hasRelatedWork W1486144438 @default.
- W4310653166 hasRelatedWork W1582650717 @default.
- W4310653166 hasRelatedWork W1750615905 @default.
- W4310653166 hasRelatedWork W2021255060 @default.
- W4310653166 hasRelatedWork W2166969310 @default.
- W4310653166 hasRelatedWork W2368796975 @default.
- W4310653166 hasRelatedWork W2387688371 @default.
- W4310653166 hasRelatedWork W2949666635 @default.
- W4310653166 hasRelatedWork W3023596811 @default.
- W4310653166 hasRelatedWork W4310653166 @default.
- W4310653166 isParatext "false" @default.
- W4310653166 isRetracted "false" @default.
- W4310653166 workType "article" @default.