1860 search results - page 20 / 372 » A Temporal Logic of Robustness |
RITA
2000
13 years 9 months 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
14 years 10 months ago
2003
Springer
CADE
2003
Springer
14 years 10 months ago
2003
Springer
EXACT
2008
14 years 5 days 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...
FOSSACS
2010
Springer
14 years 4 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...