1860 search results - page 211 / 372 » A Temporal Logic of Robustness |
114
click to vote
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
103
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
JSS
2010
15 years 2 days ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
115
Voted
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
Critical systems like pace-makers, defibrillators, wearable computers and other electronic gadgets have to be designed not only for reliability but also for ultra-low power consu...