1860 search results - page 174 / 372 » A Temporal Logic of Robustness |
91
Voted
ENTCS
2006
15 years 25 days ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
102
click to vote
LISP
2008
15 years 23 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
110
click to vote
CDC
2009
IEEE
14 years 10 months 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...
130
click to vote
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...