244 search results - page 39 / 49 » Counterexamples in Probabilistic Model Checking |
151
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
112
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
124
Voted
CDC
2009
IEEE
15 years 14 days ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
105
Voted
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...
112
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...