Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401402045> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2401402045 endingPage "86" @default.
- W2401402045 startingPage "77" @default.
- W2401402045 abstract "In this paper we present an approach to exploit pre-calculated implication knowledge in the construction of LinAIGs which represent sets of states of Linear Hybrid Systems. Our method computes implications between linear constraints and uses this information to strengthen SAT-based equivalence checks which occur during the construction of the LinAIGs. The approach is evaluated on several hybrid model checking benchmarks where LinAIGs are used as the core data-structure of the model checker. The results show that the use of implications can significantly reduce the number of applications of expensive SAT-modulo-Theories (SMT) methods, and thus can accelerate LinAIG compaction methods which use equivalence checks." @default.
- W2401402045 created "2016-06-24" @default.
- W2401402045 creator A5002292119 @default.
- W2401402045 creator A5078653422 @default.
- W2401402045 date "2009-01-01" @default.
- W2401402045 modified "2023-10-18" @default.
- W2401402045 title "Using Implications for Optimizing State Set Representations of Linear Hybrid Systems." @default.
- W2401402045 cites W1518705996 @default.
- W2401402045 cites W1522694098 @default.
- W2401402045 cites W1612810659 @default.
- W2401402045 cites W2060095702 @default.
- W2401402045 cites W2110920860 @default.
- W2401402045 cites W2117889170 @default.
- W2401402045 cites W2121909093 @default.
- W2401402045 cites W2125967324 @default.
- W2401402045 cites W2158995961 @default.
- W2401402045 cites W2285269242 @default.
- W2401402045 cites W2484475038 @default.
- W2401402045 hasPublicationYear "2009" @default.
- W2401402045 type Work @default.
- W2401402045 sameAs 2401402045 @default.
- W2401402045 citedByCount "0" @default.
- W2401402045 crossrefType "journal-article" @default.
- W2401402045 hasAuthorship W2401402045A5002292119 @default.
- W2401402045 hasAuthorship W2401402045A5078653422 @default.
- W2401402045 hasConcept C110251889 @default.
- W2401402045 hasConcept C11413529 @default.
- W2401402045 hasConcept C118615104 @default.
- W2401402045 hasConcept C119857082 @default.
- W2401402045 hasConcept C165696696 @default.
- W2401402045 hasConcept C177264268 @default.
- W2401402045 hasConcept C199360897 @default.
- W2401402045 hasConcept C2780069185 @default.
- W2401402045 hasConcept C33923547 @default.
- W2401402045 hasConcept C38652104 @default.
- W2401402045 hasConcept C41008148 @default.
- W2401402045 hasConcept C48103436 @default.
- W2401402045 hasConcept C50897621 @default.
- W2401402045 hasConcept C54732982 @default.
- W2401402045 hasConcept C80444323 @default.
- W2401402045 hasConceptScore W2401402045C110251889 @default.
- W2401402045 hasConceptScore W2401402045C11413529 @default.
- W2401402045 hasConceptScore W2401402045C118615104 @default.
- W2401402045 hasConceptScore W2401402045C119857082 @default.
- W2401402045 hasConceptScore W2401402045C165696696 @default.
- W2401402045 hasConceptScore W2401402045C177264268 @default.
- W2401402045 hasConceptScore W2401402045C199360897 @default.
- W2401402045 hasConceptScore W2401402045C2780069185 @default.
- W2401402045 hasConceptScore W2401402045C33923547 @default.
- W2401402045 hasConceptScore W2401402045C38652104 @default.
- W2401402045 hasConceptScore W2401402045C41008148 @default.
- W2401402045 hasConceptScore W2401402045C48103436 @default.
- W2401402045 hasConceptScore W2401402045C50897621 @default.
- W2401402045 hasConceptScore W2401402045C54732982 @default.
- W2401402045 hasConceptScore W2401402045C80444323 @default.
- W2401402045 hasLocation W24014020451 @default.
- W2401402045 hasOpenAccess W2401402045 @default.
- W2401402045 hasPrimaryLocation W24014020451 @default.
- W2401402045 hasRelatedWork W138443365 @default.
- W2401402045 hasRelatedWork W1568774519 @default.
- W2401402045 hasRelatedWork W1573151257 @default.
- W2401402045 hasRelatedWork W1965965053 @default.
- W2401402045 hasRelatedWork W1975041710 @default.
- W2401402045 hasRelatedWork W2086703390 @default.
- W2401402045 hasRelatedWork W2096805648 @default.
- W2401402045 hasRelatedWork W2185715623 @default.
- W2401402045 hasRelatedWork W2286265505 @default.
- W2401402045 hasRelatedWork W2318396582 @default.
- W2401402045 hasRelatedWork W2398663978 @default.
- W2401402045 hasRelatedWork W2408207366 @default.
- W2401402045 hasRelatedWork W2469840953 @default.
- W2401402045 hasRelatedWork W2502580831 @default.
- W2401402045 hasRelatedWork W2944963587 @default.
- W2401402045 hasRelatedWork W2972511691 @default.
- W2401402045 hasRelatedWork W2981684209 @default.
- W2401402045 hasRelatedWork W3029555746 @default.
- W2401402045 hasRelatedWork W3131940921 @default.
- W2401402045 hasRelatedWork W98168214 @default.
- W2401402045 isParatext "false" @default.
- W2401402045 isRetracted "false" @default.
- W2401402045 magId "2401402045" @default.
- W2401402045 workType "article" @default.