1860 search results - page 46 / 372 » A Temporal Logic of Robustness |
143
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
153
click to vote
AMAI
2006
Springer
15 years 5 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
147
click to vote
AAI
2010
15 years 6 days ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
140
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
153
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...