Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972294382> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2972294382 abstract "We give a discretization technique that allows one to check reachability properties in a family of continuous-state processes. We consider a sub-family of labelled Markov processes (LMP), whose transitions can be defined by uniform distributions, and simple reachability formulas." @default.
- W2972294382 created "2019-09-12" @default.
- W2972294382 creator A5000109637 @default.
- W2972294382 creator A5014349734 @default.
- W2972294382 creator A5054812796 @default.
- W2972294382 date "2019-01-01" @default.
- W2972294382 modified "2023-09-28" @default.
- W2972294382 title "Finite Approximation of LMPs for Exact Verification of Reachability Properties" @default.
- W2972294382 cites W1522811422 @default.
- W2972294382 cites W1862398452 @default.
- W2972294382 cites W2005998857 @default.
- W2972294382 cites W2044260813 @default.
- W2972294382 cites W2100893927 @default.
- W2972294382 cites W2108886305 @default.
- W2972294382 cites W2122087968 @default.
- W2972294382 cites W2138779401 @default.
- W2972294382 cites W2141881497 @default.
- W2972294382 cites W2164875685 @default.
- W2972294382 cites W2165161585 @default.
- W2972294382 cites W2464857490 @default.
- W2972294382 cites W4236421521 @default.
- W2972294382 cites W660320 @default.
- W2972294382 doi "https://doi.org/10.1007/978-3-030-30281-8_5" @default.
- W2972294382 hasPublicationYear "2019" @default.
- W2972294382 type Work @default.
- W2972294382 sameAs 2972294382 @default.
- W2972294382 citedByCount "0" @default.
- W2972294382 crossrefType "book-chapter" @default.
- W2972294382 hasAuthorship W2972294382A5000109637 @default.
- W2972294382 hasAuthorship W2972294382A5014349734 @default.
- W2972294382 hasAuthorship W2972294382A5054812796 @default.
- W2972294382 hasConcept C105795698 @default.
- W2972294382 hasConcept C111472728 @default.
- W2972294382 hasConcept C11413529 @default.
- W2972294382 hasConcept C119857082 @default.
- W2972294382 hasConcept C134306372 @default.
- W2972294382 hasConcept C136643341 @default.
- W2972294382 hasConcept C138885662 @default.
- W2972294382 hasConcept C159886148 @default.
- W2972294382 hasConcept C2777669093 @default.
- W2972294382 hasConcept C2780586882 @default.
- W2972294382 hasConcept C33923547 @default.
- W2972294382 hasConcept C41008148 @default.
- W2972294382 hasConcept C48103436 @default.
- W2972294382 hasConcept C73000952 @default.
- W2972294382 hasConcept C80444323 @default.
- W2972294382 hasConcept C98763669 @default.
- W2972294382 hasConceptScore W2972294382C105795698 @default.
- W2972294382 hasConceptScore W2972294382C111472728 @default.
- W2972294382 hasConceptScore W2972294382C11413529 @default.
- W2972294382 hasConceptScore W2972294382C119857082 @default.
- W2972294382 hasConceptScore W2972294382C134306372 @default.
- W2972294382 hasConceptScore W2972294382C136643341 @default.
- W2972294382 hasConceptScore W2972294382C138885662 @default.
- W2972294382 hasConceptScore W2972294382C159886148 @default.
- W2972294382 hasConceptScore W2972294382C2777669093 @default.
- W2972294382 hasConceptScore W2972294382C2780586882 @default.
- W2972294382 hasConceptScore W2972294382C33923547 @default.
- W2972294382 hasConceptScore W2972294382C41008148 @default.
- W2972294382 hasConceptScore W2972294382C48103436 @default.
- W2972294382 hasConceptScore W2972294382C73000952 @default.
- W2972294382 hasConceptScore W2972294382C80444323 @default.
- W2972294382 hasConceptScore W2972294382C98763669 @default.
- W2972294382 hasLocation W29722943821 @default.
- W2972294382 hasOpenAccess W2972294382 @default.
- W2972294382 hasPrimaryLocation W29722943821 @default.
- W2972294382 hasRelatedWork W1604596197 @default.
- W2972294382 hasRelatedWork W1605767363 @default.
- W2972294382 hasRelatedWork W192952563 @default.
- W2972294382 hasRelatedWork W1973563598 @default.
- W2972294382 hasRelatedWork W2068951165 @default.
- W2972294382 hasRelatedWork W2079376791 @default.
- W2972294382 hasRelatedWork W2132452128 @default.
- W2972294382 hasRelatedWork W2188550283 @default.
- W2972294382 hasRelatedWork W2205591433 @default.
- W2972294382 hasRelatedWork W2484781921 @default.
- W2972294382 hasRelatedWork W2607115544 @default.
- W2972294382 hasRelatedWork W2886025101 @default.
- W2972294382 hasRelatedWork W2973642607 @default.
- W2972294382 hasRelatedWork W3012143895 @default.
- W2972294382 hasRelatedWork W3093925582 @default.
- W2972294382 hasRelatedWork W3107034996 @default.
- W2972294382 hasRelatedWork W3110646494 @default.
- W2972294382 hasRelatedWork W34686954 @default.
- W2972294382 hasRelatedWork W2607025636 @default.
- W2972294382 hasRelatedWork W2914579225 @default.
- W2972294382 isParatext "false" @default.
- W2972294382 isRetracted "false" @default.
- W2972294382 magId "2972294382" @default.
- W2972294382 workType "book-chapter" @default.