Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949165985> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2949165985 abstract "FAUST$^2$ is a software tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state spaces. A dtMP model is specified in MATLAB and abstracted as a finite-state Markov chain or Markov decision processes. The abstraction procedure runs in MATLAB and employs parallel computations and fast manipulations based on vector calculus. The abstract model is formally put in relationship with the concrete dtMP via a user-defined maximum threshold on the approximation error introduced by the abstraction procedure. FAUST$^2$ allows exporting the abstract model to well-known probabilistic model checkers, such as PRISM or MRMC. Alternatively, it can handle internally the computation of PCTL properties (e.g. safety or reach-avoid) over the abstract model, and refine the outcomes over the concrete dtMP via a quantified error that depends on the abstraction procedure and the given formula. The toolbox is available at this http URL" @default.
- W2949165985 created "2019-06-27" @default.
- W2949165985 creator A5017334634 @default.
- W2949165985 creator A5033644223 @default.
- W2949165985 creator A5091718585 @default.
- W2949165985 date "2014-03-13" @default.
- W2949165985 modified "2023-09-26" @default.
- W2949165985 title "FAUST$^2$: Formal Abstractions of Uncountable-STate STochastic processes" @default.
- W2949165985 cites W1993112505 @default.
- W2949165985 cites W1995713768 @default.
- W2949165985 cites W2018087463 @default.
- W2949165985 hasPublicationYear "2014" @default.
- W2949165985 type Work @default.
- W2949165985 sameAs 2949165985 @default.
- W2949165985 citedByCount "20" @default.
- W2949165985 countsByYear W29491659852014 @default.
- W2949165985 countsByYear W29491659852015 @default.
- W2949165985 countsByYear W29491659852016 @default.
- W2949165985 countsByYear W29491659852017 @default.
- W2949165985 countsByYear W29491659852018 @default.
- W2949165985 countsByYear W29491659852019 @default.
- W2949165985 countsByYear W29491659852020 @default.
- W2949165985 countsByYear W29491659852021 @default.
- W2949165985 crossrefType "posted-content" @default.
- W2949165985 hasAuthorship W2949165985A5017334634 @default.
- W2949165985 hasAuthorship W2949165985A5033644223 @default.
- W2949165985 hasAuthorship W2949165985A5091718585 @default.
- W2949165985 hasConcept C110251889 @default.
- W2949165985 hasConcept C110729354 @default.
- W2949165985 hasConcept C111472728 @default.
- W2949165985 hasConcept C11413529 @default.
- W2949165985 hasConcept C118615104 @default.
- W2949165985 hasConcept C119857082 @default.
- W2949165985 hasConcept C124304363 @default.
- W2949165985 hasConcept C138885662 @default.
- W2949165985 hasConcept C142399903 @default.
- W2949165985 hasConcept C154945302 @default.
- W2949165985 hasConcept C199360897 @default.
- W2949165985 hasConcept C2776056051 @default.
- W2949165985 hasConcept C33923547 @default.
- W2949165985 hasConcept C41008148 @default.
- W2949165985 hasConcept C48103436 @default.
- W2949165985 hasConcept C49937458 @default.
- W2949165985 hasConcept C80444323 @default.
- W2949165985 hasConcept C98763669 @default.
- W2949165985 hasConceptScore W2949165985C110251889 @default.
- W2949165985 hasConceptScore W2949165985C110729354 @default.
- W2949165985 hasConceptScore W2949165985C111472728 @default.
- W2949165985 hasConceptScore W2949165985C11413529 @default.
- W2949165985 hasConceptScore W2949165985C118615104 @default.
- W2949165985 hasConceptScore W2949165985C119857082 @default.
- W2949165985 hasConceptScore W2949165985C124304363 @default.
- W2949165985 hasConceptScore W2949165985C138885662 @default.
- W2949165985 hasConceptScore W2949165985C142399903 @default.
- W2949165985 hasConceptScore W2949165985C154945302 @default.
- W2949165985 hasConceptScore W2949165985C199360897 @default.
- W2949165985 hasConceptScore W2949165985C2776056051 @default.
- W2949165985 hasConceptScore W2949165985C33923547 @default.
- W2949165985 hasConceptScore W2949165985C41008148 @default.
- W2949165985 hasConceptScore W2949165985C48103436 @default.
- W2949165985 hasConceptScore W2949165985C49937458 @default.
- W2949165985 hasConceptScore W2949165985C80444323 @default.
- W2949165985 hasConceptScore W2949165985C98763669 @default.
- W2949165985 hasLocation W29491659851 @default.
- W2949165985 hasOpenAccess W2949165985 @default.
- W2949165985 hasPrimaryLocation W29491659851 @default.
- W2949165985 hasRelatedWork W1483893502 @default.
- W2949165985 hasRelatedWork W1498432697 @default.
- W2949165985 hasRelatedWork W1512937499 @default.
- W2949165985 hasRelatedWork W1529558080 @default.
- W2949165985 hasRelatedWork W1709770004 @default.
- W2949165985 hasRelatedWork W1862398452 @default.
- W2949165985 hasRelatedWork W1975219867 @default.
- W2949165985 hasRelatedWork W2018087463 @default.
- W2949165985 hasRelatedWork W2047671935 @default.
- W2949165985 hasRelatedWork W2080813827 @default.
- W2949165985 hasRelatedWork W2087486424 @default.
- W2949165985 hasRelatedWork W2094599695 @default.
- W2949165985 hasRelatedWork W2126147754 @default.
- W2949165985 hasRelatedWork W2150141562 @default.
- W2949165985 hasRelatedWork W2171282796 @default.
- W2949165985 hasRelatedWork W2745094767 @default.
- W2949165985 hasRelatedWork W2763887684 @default.
- W2949165985 hasRelatedWork W2889348608 @default.
- W2949165985 hasRelatedWork W2963001040 @default.
- W2949165985 hasRelatedWork W2963355499 @default.
- W2949165985 isParatext "false" @default.
- W2949165985 isRetracted "false" @default.
- W2949165985 magId "2949165985" @default.
- W2949165985 workType "article" @default.