Matches in SemOpenAlex for { <https://semopenalex.org/work/W2418520011> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2418520011 abstract "Sapo is a tool for the formal analysis of polynomial dynamical systems. Its main features are 1) Reachability computation, i.e., the calculation of the set of states reachable from a set of initial conditions, and 2) Parameter synthesis, i.e., the refinement of a set of parameters so that the system satisfies a given specification. Sapo can represent reachable sets as unions of boxes, parallelotopes, or parallelotope bundles (symbolic representation of polytopes). Sets of parameters are represented with polytopes while specifications are formalized as Signal Temporal Logic (STL) formulas." @default.
- W2418520011 created "2016-06-24" @default.
- W2418520011 creator A5084296935 @default.
- W2418520011 date "2017-04-13" @default.
- W2418520011 modified "2023-10-11" @default.
- W2418520011 title "Sapo" @default.
- W2418520011 cites W1134528556 @default.
- W2418520011 cites W1535116423 @default.
- W2418520011 cites W1547304883 @default.
- W2418520011 cites W1585526574 @default.
- W2418520011 cites W1598855039 @default.
- W2418520011 cites W1905380539 @default.
- W2418520011 cites W2114588579 @default.
- W2418520011 cites W2131399618 @default.
- W2418520011 cites W2153803621 @default.
- W2418520011 cites W2336607923 @default.
- W2418520011 cites W2342015760 @default.
- W2418520011 cites W2526694582 @default.
- W2418520011 cites W2569352989 @default.
- W2418520011 cites W618708471 @default.
- W2418520011 doi "https://doi.org/10.1145/3049797.3049824" @default.
- W2418520011 hasPublicationYear "2017" @default.
- W2418520011 type Work @default.
- W2418520011 sameAs 2418520011 @default.
- W2418520011 citedByCount "23" @default.
- W2418520011 countsByYear W24185200112017 @default.
- W2418520011 countsByYear W24185200112019 @default.
- W2418520011 countsByYear W24185200112020 @default.
- W2418520011 countsByYear W24185200112021 @default.
- W2418520011 countsByYear W24185200112022 @default.
- W2418520011 crossrefType "proceedings-article" @default.
- W2418520011 hasAuthorship W2418520011A5084296935 @default.
- W2418520011 hasConcept C110251889 @default.
- W2418520011 hasConcept C110812573 @default.
- W2418520011 hasConcept C111498074 @default.
- W2418520011 hasConcept C11413529 @default.
- W2418520011 hasConcept C118615104 @default.
- W2418520011 hasConcept C134306372 @default.
- W2418520011 hasConcept C136119220 @default.
- W2418520011 hasConcept C136643341 @default.
- W2418520011 hasConcept C145691206 @default.
- W2418520011 hasConcept C177264268 @default.
- W2418520011 hasConcept C17744445 @default.
- W2418520011 hasConcept C199360897 @default.
- W2418520011 hasConcept C199539241 @default.
- W2418520011 hasConcept C202444582 @default.
- W2418520011 hasConcept C2776359362 @default.
- W2418520011 hasConcept C2777669093 @default.
- W2418520011 hasConcept C33923547 @default.
- W2418520011 hasConcept C41008148 @default.
- W2418520011 hasConcept C45374587 @default.
- W2418520011 hasConcept C80444323 @default.
- W2418520011 hasConcept C90119067 @default.
- W2418520011 hasConcept C94625758 @default.
- W2418520011 hasConceptScore W2418520011C110251889 @default.
- W2418520011 hasConceptScore W2418520011C110812573 @default.
- W2418520011 hasConceptScore W2418520011C111498074 @default.
- W2418520011 hasConceptScore W2418520011C11413529 @default.
- W2418520011 hasConceptScore W2418520011C118615104 @default.
- W2418520011 hasConceptScore W2418520011C134306372 @default.
- W2418520011 hasConceptScore W2418520011C136119220 @default.
- W2418520011 hasConceptScore W2418520011C136643341 @default.
- W2418520011 hasConceptScore W2418520011C145691206 @default.
- W2418520011 hasConceptScore W2418520011C177264268 @default.
- W2418520011 hasConceptScore W2418520011C17744445 @default.
- W2418520011 hasConceptScore W2418520011C199360897 @default.
- W2418520011 hasConceptScore W2418520011C199539241 @default.
- W2418520011 hasConceptScore W2418520011C202444582 @default.
- W2418520011 hasConceptScore W2418520011C2776359362 @default.
- W2418520011 hasConceptScore W2418520011C2777669093 @default.
- W2418520011 hasConceptScore W2418520011C33923547 @default.
- W2418520011 hasConceptScore W2418520011C41008148 @default.
- W2418520011 hasConceptScore W2418520011C45374587 @default.
- W2418520011 hasConceptScore W2418520011C80444323 @default.
- W2418520011 hasConceptScore W2418520011C90119067 @default.
- W2418520011 hasConceptScore W2418520011C94625758 @default.
- W2418520011 hasLocation W24185200111 @default.
- W2418520011 hasOpenAccess W2418520011 @default.
- W2418520011 hasPrimaryLocation W24185200111 @default.
- W2418520011 hasRelatedWork W1579190584 @default.
- W2418520011 hasRelatedWork W1638774901 @default.
- W2418520011 hasRelatedWork W2050304663 @default.
- W2418520011 hasRelatedWork W2281921707 @default.
- W2418520011 hasRelatedWork W2296663577 @default.
- W2418520011 hasRelatedWork W2403555318 @default.
- W2418520011 hasRelatedWork W2751754194 @default.
- W2418520011 hasRelatedWork W2803699674 @default.
- W2418520011 hasRelatedWork W2953030450 @default.
- W2418520011 hasRelatedWork W4297964474 @default.
- W2418520011 isParatext "false" @default.
- W2418520011 isRetracted "false" @default.
- W2418520011 magId "2418520011" @default.
- W2418520011 workType "article" @default.