Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971874129> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2971874129 endingPage "69" @default.
- W2971874129 startingPage "52" @default.
- W2971874129 abstract "Markov automata are a compositional modelling formalism with continuous stochastic time, discrete probabilities, and nondeterministic choices. In this paper, we present extensions to the Modest language and the mcsta model checker to describe and analyse Markov automata models. Modest is an expressive high-level language with roots in process algebra that allows large models to be specified in a succinct, modular way. We explain its use for Markov automata and illustrate the advantages over alternative languages. The verification of Markov automata models requires dedicated algorithms for time-bounded probabilistic reachability and long-run average rewards. We describe several recently developed such algorithms as implemented in mcsta and evaluate them on a comprehensive set of benchmarks. Our evaluation shows that mcsta improves the performance and scalability of Markov automata model checking compared to earlier and alternative tools." @default.
- W2971874129 created "2019-09-12" @default.
- W2971874129 creator A5005462869 @default.
- W2971874129 creator A5007673197 @default.
- W2971874129 creator A5028747794 @default.
- W2971874129 date "2019-01-01" @default.
- W2971874129 modified "2023-09-27" @default.
- W2971874129 title "A Modest Approach to Modelling and Checking Markov Automata" @default.
- W2971874129 cites W1499021164 @default.
- W2971874129 cites W1504080271 @default.
- W2971874129 cites W1515421972 @default.
- W2971874129 cites W1556387789 @default.
- W2971874129 cites W1874444266 @default.
- W2971874129 cites W2020204292 @default.
- W2971874129 cites W2071103858 @default.
- W2971874129 cites W2087486424 @default.
- W2971874129 cites W2110411539 @default.
- W2971874129 cites W2111987809 @default.
- W2971874129 cites W2163234015 @default.
- W2971874129 cites W2172279531 @default.
- W2971874129 cites W2262106677 @default.
- W2971874129 cites W2334782222 @default.
- W2971874129 cites W2488668998 @default.
- W2971874129 cites W2568766587 @default.
- W2971874129 cites W2593267253 @default.
- W2971874129 cites W2598014203 @default.
- W2971874129 cites W2598699400 @default.
- W2971874129 cites W2609905251 @default.
- W2971874129 cites W2735021239 @default.
- W2971874129 cites W275084143 @default.
- W2971874129 cites W2788962669 @default.
- W2971874129 cites W2797945469 @default.
- W2971874129 cites W2803993242 @default.
- W2971874129 cites W2883004055 @default.
- W2971874129 cites W2898837242 @default.
- W2971874129 cites W2925395957 @default.
- W2971874129 cites W2926242892 @default.
- W2971874129 cites W2932972683 @default.
- W2971874129 cites W2964256340 @default.
- W2971874129 cites W78405526 @default.
- W2971874129 doi "https://doi.org/10.1007/978-3-030-30281-8_4" @default.
- W2971874129 hasPublicationYear "2019" @default.
- W2971874129 type Work @default.
- W2971874129 sameAs 2971874129 @default.
- W2971874129 citedByCount "7" @default.
- W2971874129 countsByYear W29718741292019 @default.
- W2971874129 countsByYear W29718741292020 @default.
- W2971874129 countsByYear W29718741292021 @default.
- W2971874129 crossrefType "book-chapter" @default.
- W2971874129 hasAuthorship W2971874129A5005462869 @default.
- W2971874129 hasAuthorship W2971874129A5007673197 @default.
- W2971874129 hasAuthorship W2971874129A5028747794 @default.
- W2971874129 hasConcept C112505250 @default.
- W2971874129 hasConcept C119857082 @default.
- W2971874129 hasConcept C41008148 @default.
- W2971874129 hasConcept C80444323 @default.
- W2971874129 hasConcept C98763669 @default.
- W2971874129 hasConceptScore W2971874129C112505250 @default.
- W2971874129 hasConceptScore W2971874129C119857082 @default.
- W2971874129 hasConceptScore W2971874129C41008148 @default.
- W2971874129 hasConceptScore W2971874129C80444323 @default.
- W2971874129 hasConceptScore W2971874129C98763669 @default.
- W2971874129 hasLocation W29718741291 @default.
- W2971874129 hasOpenAccess W2971874129 @default.
- W2971874129 hasPrimaryLocation W29718741291 @default.
- W2971874129 hasRelatedWork W153904579 @default.
- W2971874129 hasRelatedWork W1584197856 @default.
- W2971874129 hasRelatedWork W2047802234 @default.
- W2971874129 hasRelatedWork W2325436751 @default.
- W2971874129 hasRelatedWork W2330733397 @default.
- W2971874129 hasRelatedWork W2368796975 @default.
- W2971874129 hasRelatedWork W2389529561 @default.
- W2971874129 hasRelatedWork W2908756996 @default.
- W2971874129 hasRelatedWork W2602338684 @default.
- W2971874129 hasRelatedWork W2751931981 @default.
- W2971874129 isParatext "false" @default.
- W2971874129 isRetracted "false" @default.
- W2971874129 magId "2971874129" @default.
- W2971874129 workType "book-chapter" @default.