Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571597373> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1571597373 endingPage "204" @default.
- W1571597373 startingPage "190" @default.
- W1571597373 abstract "We study the reachability problem for hybrid automata. Automatic approaches, which attempt to construct the reachable region by symbolic execution, often do not terminate. In these cases, we require the user to guess the reachable region, and we use a theorem prover (Pvs) to verify the guess. We classify hybrid automata according to the theory in which their reachable region can be defined finitely. This is the theory in which the prover needs to operate in order to verify the guess. The approach is interesting, because an appropriate guess can often be deduced by extrapolating from the first few steps of symbolic execution." @default.
- W1571597373 created "2016-06-24" @default.
- W1571597373 creator A5066780988 @default.
- W1571597373 creator A5080555605 @default.
- W1571597373 date "1998-01-01" @default.
- W1571597373 modified "2023-09-23" @default.
- W1571597373 title "Reachability verification for hybrid automata" @default.
- W1571597373 cites W1489150842 @default.
- W1571597373 cites W1499407607 @default.
- W1571597373 cites W1520624628 @default.
- W1571597373 cites W1538288378 @default.
- W1571597373 cites W1550288578 @default.
- W1571597373 cites W1659048632 @default.
- W1571597373 cites W1874936087 @default.
- W1571597373 cites W2004463571 @default.
- W1571597373 cites W2101508170 @default.
- W1571597373 cites W2124778357 @default.
- W1571597373 cites W2135120182 @default.
- W1571597373 cites W2163590987 @default.
- W1571597373 cites W2167467151 @default.
- W1571597373 cites W2177653796 @default.
- W1571597373 cites W4206570602 @default.
- W1571597373 cites W4236306094 @default.
- W1571597373 doi "https://doi.org/10.1007/3-540-64358-3_40" @default.
- W1571597373 hasPublicationYear "1998" @default.
- W1571597373 type Work @default.
- W1571597373 sameAs 1571597373 @default.
- W1571597373 citedByCount "35" @default.
- W1571597373 countsByYear W15715973732012 @default.
- W1571597373 countsByYear W15715973732013 @default.
- W1571597373 countsByYear W15715973732014 @default.
- W1571597373 countsByYear W15715973732015 @default.
- W1571597373 countsByYear W15715973732019 @default.
- W1571597373 countsByYear W15715973732020 @default.
- W1571597373 crossrefType "book-chapter" @default.
- W1571597373 hasAuthorship W1571597373A5066780988 @default.
- W1571597373 hasAuthorship W1571597373A5080555605 @default.
- W1571597373 hasConcept C110251889 @default.
- W1571597373 hasConcept C112505250 @default.
- W1571597373 hasConcept C11413529 @default.
- W1571597373 hasConcept C136643341 @default.
- W1571597373 hasConcept C167822520 @default.
- W1571597373 hasConcept C199360897 @default.
- W1571597373 hasConcept C2776028153 @default.
- W1571597373 hasConcept C30788636 @default.
- W1571597373 hasConcept C41008148 @default.
- W1571597373 hasConcept C80444323 @default.
- W1571597373 hasConceptScore W1571597373C110251889 @default.
- W1571597373 hasConceptScore W1571597373C112505250 @default.
- W1571597373 hasConceptScore W1571597373C11413529 @default.
- W1571597373 hasConceptScore W1571597373C136643341 @default.
- W1571597373 hasConceptScore W1571597373C167822520 @default.
- W1571597373 hasConceptScore W1571597373C199360897 @default.
- W1571597373 hasConceptScore W1571597373C2776028153 @default.
- W1571597373 hasConceptScore W1571597373C30788636 @default.
- W1571597373 hasConceptScore W1571597373C41008148 @default.
- W1571597373 hasConceptScore W1571597373C80444323 @default.
- W1571597373 hasLocation W15715973731 @default.
- W1571597373 hasOpenAccess W1571597373 @default.
- W1571597373 hasPrimaryLocation W15715973731 @default.
- W1571597373 hasRelatedWork W1518566078 @default.
- W1571597373 hasRelatedWork W1803004510 @default.
- W1571597373 hasRelatedWork W1986759818 @default.
- W1571597373 hasRelatedWork W2065323166 @default.
- W1571597373 hasRelatedWork W2110233039 @default.
- W1571597373 hasRelatedWork W2118465540 @default.
- W1571597373 hasRelatedWork W2129828425 @default.
- W1571597373 hasRelatedWork W2274428774 @default.
- W1571597373 hasRelatedWork W2964131994 @default.
- W1571597373 hasRelatedWork W2989041661 @default.
- W1571597373 isParatext "false" @default.
- W1571597373 isRetracted "false" @default.
- W1571597373 magId "1571597373" @default.
- W1571597373 workType "book-chapter" @default.