Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Vojtech Forejt"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 2 (2015)
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due
Externí odkaz:
https://doaj.org/article/6c7b50e9bf3045e1b2956520e3365ecf
Publikováno v:
Formal Methods for Eternal Networked Software Systems (SFM'11)
M. Bernardo and V. Issarny. Formal Methods for Eternal Networked Software Systems (SFM'11), LNCS 6659, Springer, pp.53--113, 2011
Lecture Notes in Computer Science
Formal Methods for Eternal Networked Software Systems ISBN: 9783642214547
SFM
M. Bernardo and V. Issarny. Formal Methods for Eternal Networked Software Systems (SFM'11), LNCS 6659, Springer, pp.53--113, 2011
Lecture Notes in Computer Science
Formal Methods for Eternal Networked Software Systems ISBN: 9783642214547
SFM
International audience; This tutorial provides an introduction to probabilistic model checking, a technique for automatically verifying quantitative properties of probabilistic systems. We focus on Markov decision processes (MDPs), which model both s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ec2e5907358c78bcf5c4f6c28af10a0
https://doi.org/10.1007/978-3-642-21455-4_3
https://doi.org/10.1007/978-3-642-21455-4_3
Publikováno v:
Lecture Notes in Computer Science
Mathematical Foundations of Computer Science 2013 ISBN: 9783642403125
MFCS
Mathematical Foundations of Computer Science 2013 ISBN: 9783642403125
MFCS
We study two-player stochastic games, where the goal of one player is to satisfy a formula given as a positive boolean combination of expected total reward objectives and the behaviour of the second player is adversarial. Such games are important for
Publikováno v:
Lecture Notes in Computer Science
Runtime Verification ISBN: 9783642356315
RV
Runtime verification
Runtime verification, Sep 2012, Istanbul, Turkey. pp.314-319
Runtime Verification ISBN: 9783642356315
RV
Runtime verification
Runtime verification, Sep 2012, Istanbul, Turkey. pp.314-319
International audience; Probabilistic veri cation techniques have been proposed for runtime analysis of adaptive software systems, with the veri cation results being used to steer the system so that it satis es certain Quality-of-Service requirements
Publikováno v:
LICS
We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objectives. Given an MDP with k reward functions, in the expectation objectiv
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)
We study the bisimilarity problem for probabilistic pushdown automata (pPDA) and subclasses thereof. Our definition of pPDA allows both probabilistic and non-deterministic branching, generalising the classical notion of pushdown automata (without eps
Externí odkaz:
https://doaj.org/article/a755e5e8e9d34976a4e3bf83dcdab630
Publikováno v:
Logical Methods in Computer Science, Vol Volume 10, Issue 1 (2014)
We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objectives. Given an MDP with k limit-average functions, in the expectation o
Externí odkaz:
https://doaj.org/article/5c82e3a2ec574981abefbcfbf3fdfbcf