Search citation statements

Paper Sections

Select...

2

1

1

1

Citation Types

0

149

0

Year Published

2017

2019

Publication Types

Select...

6

1

Relationship

3

4

Authors

Journals

(149 citation statements)

0

149

0

“…When the range of uncertainty is not known, one can opt parametric-Markov models, that construct a symbolic model that can later be evaluated with specific probabilities. Recent work includes methods from parametric model checking [Hahn et al 2010;Filieri et al 2011a;Dehnert et al 2015].…”

confidence: 99%

“…When the range of uncertainty is not known, one can opt parametric-Markov models, that construct a symbolic model that can later be evaluated with specific probabilities. Recent work includes methods from parametric model checking [Hahn et al 2010;Filieri et al 2011a;Dehnert et al 2015].…”

confidence: 99%

“…The once-and-for-all IMC semantics ( [7,19,16]) is alike to the semantics for pMC, as introduced above. The associated satisfaction relation |= o I is defined as follows:…”

confidence: 99%

“…The original MC nand model has already been extended as a pMC in [7], where the authors consider a single parameter p for the probability that each of the N nand gates fails during the multiplexing. We extend this model to pIMC by considering intervals for the probability that the initial inputs are stimulated and we have one parameter per nand gate to represent the probability that it fails.…”

confidence: 99%