Matches in SemOpenAlex for { <https://semopenalex.org/work/W3120288634> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3120288634 endingPage "126" @default.
- W3120288634 startingPage "104" @default.
- W3120288634 abstract "In finite-state systems, true existential properties admit witnesses in form of lasso-shaped fair paths. When dealing with the infinite-state case (e.g. software non-termination, model checking of hybrid automata) this is no longer the case. In this paper, we propose a compositional approach for proving the existence of fair paths of infinite-state systems. First, we describe a formal approach to prove the existence of a non-empty under-approximation of the original system that only contains fair paths. Second, we define an automated procedure that, given a set of hints (in form of basic components), searches for a suitable composition proving the existence of a fair path. We experimentally evaluate the approach on examples taken from both software and hybrid systems, showing its wide applicability and expressiveness." @default.
- W3120288634 created "2021-01-18" @default.
- W3120288634 creator A5017426974 @default.
- W3120288634 creator A5022226087 @default.
- W3120288634 creator A5038636493 @default.
- W3120288634 date "2021-01-01" @default.
- W3120288634 modified "2023-10-01" @default.
- W3120288634 title "Proving the Existence of Fair Paths in Infinite-State Systems" @default.
- W3120288634 cites W136284023 @default.
- W3120288634 cites W146333850 @default.
- W3120288634 cites W1496468608 @default.
- W3120288634 cites W1522694098 @default.
- W3120288634 cites W1548402307 @default.
- W3120288634 cites W17381159 @default.
- W3120288634 cites W1772923315 @default.
- W3120288634 cites W1864649459 @default.
- W3120288634 cites W1962072139 @default.
- W3120288634 cites W1964976168 @default.
- W3120288634 cites W1989813138 @default.
- W3120288634 cites W2004306067 @default.
- W3120288634 cites W2020306722 @default.
- W3120288634 cites W2039287452 @default.
- W3120288634 cites W2078078820 @default.
- W3120288634 cites W2093227835 @default.
- W3120288634 cites W2112656403 @default.
- W3120288634 cites W2115215132 @default.
- W3120288634 cites W2131399618 @default.
- W3120288634 cites W213397635 @default.
- W3120288634 cites W213996327 @default.
- W3120288634 cites W2147348835 @default.
- W3120288634 cites W2176215692 @default.
- W3120288634 cites W233122475 @default.
- W3120288634 cites W2610066027 @default.
- W3120288634 cites W2957046311 @default.
- W3120288634 cites W2958068121 @default.
- W3120288634 cites W2963062860 @default.
- W3120288634 cites W2965601937 @default.
- W3120288634 cites W2978820926 @default.
- W3120288634 cites W3098578101 @default.
- W3120288634 cites W4234413063 @default.
- W3120288634 cites W4241926562 @default.
- W3120288634 doi "https://doi.org/10.1007/978-3-030-67067-2_6" @default.
- W3120288634 hasPublicationYear "2021" @default.
- W3120288634 type Work @default.
- W3120288634 sameAs 3120288634 @default.
- W3120288634 citedByCount "3" @default.
- W3120288634 countsByYear W31202886342021 @default.
- W3120288634 countsByYear W31202886342023 @default.
- W3120288634 crossrefType "book-chapter" @default.
- W3120288634 hasAuthorship W3120288634A5017426974 @default.
- W3120288634 hasAuthorship W3120288634A5022226087 @default.
- W3120288634 hasAuthorship W3120288634A5038636493 @default.
- W3120288634 hasConcept C110251889 @default.
- W3120288634 hasConcept C112505250 @default.
- W3120288634 hasConcept C11413529 @default.
- W3120288634 hasConcept C118615104 @default.
- W3120288634 hasConcept C177264268 @default.
- W3120288634 hasConcept C199360897 @default.
- W3120288634 hasConcept C2777735758 @default.
- W3120288634 hasConcept C2777904410 @default.
- W3120288634 hasConcept C33923547 @default.
- W3120288634 hasConcept C41008148 @default.
- W3120288634 hasConcept C48103436 @default.
- W3120288634 hasConcept C80444323 @default.
- W3120288634 hasConceptScore W3120288634C110251889 @default.
- W3120288634 hasConceptScore W3120288634C112505250 @default.
- W3120288634 hasConceptScore W3120288634C11413529 @default.
- W3120288634 hasConceptScore W3120288634C118615104 @default.
- W3120288634 hasConceptScore W3120288634C177264268 @default.
- W3120288634 hasConceptScore W3120288634C199360897 @default.
- W3120288634 hasConceptScore W3120288634C2777735758 @default.
- W3120288634 hasConceptScore W3120288634C2777904410 @default.
- W3120288634 hasConceptScore W3120288634C33923547 @default.
- W3120288634 hasConceptScore W3120288634C41008148 @default.
- W3120288634 hasConceptScore W3120288634C48103436 @default.
- W3120288634 hasConceptScore W3120288634C80444323 @default.
- W3120288634 hasLocation W31202886341 @default.
- W3120288634 hasOpenAccess W3120288634 @default.
- W3120288634 hasPrimaryLocation W31202886341 @default.
- W3120288634 hasRelatedWork W1527462432 @default.
- W3120288634 hasRelatedWork W2004126468 @default.
- W3120288634 hasRelatedWork W2137641996 @default.
- W3120288634 hasRelatedWork W2151277984 @default.
- W3120288634 hasRelatedWork W2571762577 @default.
- W3120288634 hasRelatedWork W2588971572 @default.
- W3120288634 hasRelatedWork W2612831843 @default.
- W3120288634 hasRelatedWork W4286892938 @default.
- W3120288634 hasRelatedWork W51650568 @default.
- W3120288634 hasRelatedWork W2096825926 @default.
- W3120288634 isParatext "false" @default.
- W3120288634 isRetracted "false" @default.
- W3120288634 magId "3120288634" @default.
- W3120288634 workType "book-chapter" @default.