Matches in SemOpenAlex for { <https://semopenalex.org/work/W3137368705> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3137368705 endingPage "339" @default.
- W3137368705 startingPage "324" @default.
- W3137368705 abstract "Probabilistic Automata (PAs) are a widely-recognized mathematical framework for the specification and analysis of systems with non-deterministic and stochastic behaviors. This paper proposes Abstract Probabilistic Automata (APAs), that is a novel abstraction model for PAs. In APAs uncertainty of the non-deterministic choices is modeled by may/must modalities on transitions while uncertainty of the stochastic behaviour is expressed by (underspecified) stochastic constraints. We have developed a complete abstraction theory for PAs, and also propose the first specification theory for them. Our theory supports both satisfaction and refinement operators, together with classical stepwise design operators. In addition, we study the link between specification theories and abstraction in avoiding the state-space explosion problem." @default.
- W3137368705 created "2021-03-29" @default.
- W3137368705 creator A5000905818 @default.
- W3137368705 creator A5019014285 @default.
- W3137368705 creator A5030129842 @default.
- W3137368705 creator A5056331041 @default.
- W3137368705 creator A5056755949 @default.
- W3137368705 creator A5069362159 @default.
- W3137368705 creator A5080606370 @default.
- W3137368705 date "2011-01-01" @default.
- W3137368705 modified "2023-10-16" @default.
- W3137368705 title "Abstract Probabilistic Automata" @default.
- W3137368705 cites W1489359924 @default.
- W3137368705 cites W1497573972 @default.
- W3137368705 cites W1537517911 @default.
- W3137368705 cites W1588200817 @default.
- W3137368705 cites W1594368577 @default.
- W3137368705 cites W1871610027 @default.
- W3137368705 cites W1959890433 @default.
- W3137368705 cites W1973388684 @default.
- W3137368705 cites W2098593535 @default.
- W3137368705 cites W2099863033 @default.
- W3137368705 cites W2100326215 @default.
- W3137368705 cites W2100571517 @default.
- W3137368705 cites W2104224153 @default.
- W3137368705 cites W2148384577 @default.
- W3137368705 cites W2157239333 @default.
- W3137368705 cites W2163369706 @default.
- W3137368705 doi "https://doi.org/10.1007/978-3-642-18275-4_23" @default.
- W3137368705 hasPublicationYear "2011" @default.
- W3137368705 type Work @default.
- W3137368705 sameAs 3137368705 @default.
- W3137368705 citedByCount "23" @default.
- W3137368705 countsByYear W31373687052012 @default.
- W3137368705 countsByYear W31373687052013 @default.
- W3137368705 countsByYear W31373687052014 @default.
- W3137368705 countsByYear W31373687052015 @default.
- W3137368705 countsByYear W31373687052016 @default.
- W3137368705 countsByYear W31373687052017 @default.
- W3137368705 countsByYear W31373687052018 @default.
- W3137368705 countsByYear W31373687052022 @default.
- W3137368705 crossrefType "book-chapter" @default.
- W3137368705 hasAuthorship W3137368705A5000905818 @default.
- W3137368705 hasAuthorship W3137368705A5019014285 @default.
- W3137368705 hasAuthorship W3137368705A5030129842 @default.
- W3137368705 hasAuthorship W3137368705A5056331041 @default.
- W3137368705 hasAuthorship W3137368705A5056755949 @default.
- W3137368705 hasAuthorship W3137368705A5069362159 @default.
- W3137368705 hasAuthorship W3137368705A5080606370 @default.
- W3137368705 hasConcept C112505250 @default.
- W3137368705 hasConcept C154945302 @default.
- W3137368705 hasConcept C41008148 @default.
- W3137368705 hasConcept C49937458 @default.
- W3137368705 hasConcept C80444323 @default.
- W3137368705 hasConceptScore W3137368705C112505250 @default.
- W3137368705 hasConceptScore W3137368705C154945302 @default.
- W3137368705 hasConceptScore W3137368705C41008148 @default.
- W3137368705 hasConceptScore W3137368705C49937458 @default.
- W3137368705 hasConceptScore W3137368705C80444323 @default.
- W3137368705 hasLocation W31373687051 @default.
- W3137368705 hasOpenAccess W3137368705 @default.
- W3137368705 hasPrimaryLocation W31373687051 @default.
- W3137368705 hasRelatedWork W1501302278 @default.
- W3137368705 hasRelatedWork W153904579 @default.
- W3137368705 hasRelatedWork W1575659177 @default.
- W3137368705 hasRelatedWork W1584197856 @default.
- W3137368705 hasRelatedWork W1603968847 @default.
- W3137368705 hasRelatedWork W2330733397 @default.
- W3137368705 hasRelatedWork W2346076952 @default.
- W3137368705 hasRelatedWork W2368796975 @default.
- W3137368705 hasRelatedWork W4290792893 @default.
- W3137368705 hasRelatedWork W2602338684 @default.
- W3137368705 isParatext "false" @default.
- W3137368705 isRetracted "false" @default.
- W3137368705 magId "3137368705" @default.
- W3137368705 workType "book-chapter" @default.