1860 search results - page 20 / 372 » A Temporal Logic of Robustness |
118
Voted
RITA
2000
15 years 16 days ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
CADE
2003
Springer
16 years 1 months ago
2003
Springer
CADE
2003
Springer
16 years 1 months ago
2003
Springer
107
Voted
EXACT
2008
15 years 3 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
122
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...