FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101973194> ?p ?o ?g. }

• W3101973194 abstract "Providing compact and understandable counterexamples for violated system properties is an essential task in model checking. Existing works on counterexamples for probabilistic systems so far computed either a large set of system runs or a subset of the system's states, both of which are of limited use in manual debugging. Many probabilistic systems are described in a guarded command language like the one used by the popular model checker PRISM. In this paper we describe how a smallest possible subset of the commands can be identified which together make the system erroneous. We additionally show how the selected commands can be further simplified to obtain a well-understandable counterexample." @default.
• W3101973194 created "2020-11-23" @default.
• W3101973194 creator A5012669709 @default.
• W3101973194 creator A5047238602 @default.
• W3101973194 creator A5068015318 @default.
• W3101973194 creator A5080606370 @default.
• W3101973194 date "2015-03-31" @default.
• W3101973194 modified "2023-10-10" @default.
• W3101973194 title "High-level Counterexamples for Probabilistic Automata" @default.
• W3101973194 cites W103774727 @default.
• W3101973194 cites W122180706 @default.
• W3101973194 cites W138290785 @default.
• W3101973194 cites W1504403751 @default.
• W3101973194 cites W1516849933 @default.
• W3101973194 cites W1529165591 @default.
• W3101973194 cites W1801993675 @default.
• W3101973194 cites W1862398452 @default.
• W3101973194 cites W1963547452 @default.
• W3101973194 cites W1999787317 @default.
• W3101973194 cites W2011039300 @default.
• W3101973194 cites W2014328192 @default.
• W3101973194 cites W2018187447 @default.
• W3101973194 cites W2047217912 @default.
• W3101973194 cites W2072033902 @default.
• W3101973194 cites W2088501121 @default.
• W3101973194 cites W2093468548 @default.
• W3101973194 cites W2095304972 @default.
• W3101973194 cites W2101577148 @default.
• W3101973194 cites W2156008373 @default.
• W3101973194 cites W2168098347 @default.
• W3101973194 cites W2912904668 @default.
• W3101973194 cites W2913788705 @default.
• W3101973194 cites W1601373402 @default.
• W3101973194 doi "https://doi.org/10.2168/lmcs-11(1:15)2015" @default.
• W3101973194 hasPublicationYear "2015" @default.
• W3101973194 type Work @default.
• W3101973194 sameAs 3101973194 @default.
• W3101973194 citedByCount "15" @default.
• W3101973194 countsByYear W31019731942015 @default.
• W3101973194 countsByYear W31019731942016 @default.
• W3101973194 countsByYear W31019731942017 @default.
• W3101973194 countsByYear W31019731942018 @default.
• W3101973194 countsByYear W31019731942019 @default.
• W3101973194 countsByYear W31019731942020 @default.
• W3101973194 countsByYear W31019731942021 @default.
• W3101973194 countsByYear W31019731942023 @default.
• W3101973194 crossrefType "journal-article" @default.
• W3101973194 hasAuthorship W3101973194A5012669709 @default.
• W3101973194 hasAuthorship W3101973194A5047238602 @default.
• W3101973194 hasAuthorship W3101973194A5068015318 @default.
• W3101973194 hasAuthorship W3101973194A5080606370 @default.
• W3101973194 hasBestOaLocation W31019731941 @default.
• W3101973194 hasConcept C112505250 @default.
• W3101973194 hasConcept C118615104 @default.
• W3101973194 hasConcept C154945302 @default.
• W3101973194 hasConcept C162324750 @default.
• W3101973194 hasConcept C162838799 @default.
• W3101973194 hasConcept C168065819 @default.
• W3101973194 hasConcept C174784677 @default.
• W3101973194 hasConcept C177264268 @default.
• W3101973194 hasConcept C187736073 @default.
• W3101973194 hasConcept C199360897 @default.
• W3101973194 hasConcept C2780451532 @default.
• W3101973194 hasConcept C33923547 @default.
• W3101973194 hasConcept C41008148 @default.
• W3101973194 hasConcept C49937458 @default.
• W3101973194 hasConcept C80444323 @default.
• W3101973194 hasConceptScore W3101973194C112505250 @default.
• W3101973194 hasConceptScore W3101973194C118615104 @default.
• W3101973194 hasConceptScore W3101973194C154945302 @default.
• W3101973194 hasConceptScore W3101973194C162324750 @default.
• W3101973194 hasConceptScore W3101973194C162838799 @default.
• W3101973194 hasConceptScore W3101973194C168065819 @default.
• W3101973194 hasConceptScore W3101973194C174784677 @default.
• W3101973194 hasConceptScore W3101973194C177264268 @default.
• W3101973194 hasConceptScore W3101973194C187736073 @default.
• W3101973194 hasConceptScore W3101973194C199360897 @default.
• W3101973194 hasConceptScore W3101973194C2780451532 @default.
• W3101973194 hasConceptScore W3101973194C33923547 @default.
• W3101973194 hasConceptScore W3101973194C41008148 @default.
• W3101973194 hasConceptScore W3101973194C49937458 @default.
• W3101973194 hasConceptScore W3101973194C80444323 @default.
• W3101973194 hasLocation W31019731941 @default.
• W3101973194 hasLocation W31019731942 @default.
• W3101973194 hasLocation W31019731943 @default.
• W3101973194 hasOpenAccess W3101973194 @default.
• W3101973194 hasPrimaryLocation W31019731941 @default.
• W3101973194 hasRelatedWork W1573261754 @default.
• W3101973194 hasRelatedWork W1958500697 @default.
• W3101973194 hasRelatedWork W1979390054 @default.
• W3101973194 hasRelatedWork W2159449605 @default.
• W3101973194 hasRelatedWork W249340682 @default.
• W3101973194 hasRelatedWork W2514822958 @default.
• W3101973194 hasRelatedWork W2660972524 @default.
• W3101973194 hasRelatedWork W2951456305 @default.
• W3101973194 hasRelatedWork W3101973194 @default.
• W3101973194 hasRelatedWork W4321843626 @default.
• W3101973194 hasVolume "Volume 11, Issue 1" @default.
• W3101973194 isParatext "false" @default.
• W3101973194 isRetracted "false" @default.

• next