1860 search results - page 2 / 372 » A Temporal Logic of Robustness |
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
CLIMA
2007
13 years 6 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
AIPS
2008
13 years 7 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
AGI
2008
13 years 6 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
ICTL
1994
13 years 9 months ago
1994
This paper presents a temporal belief logic called