1860 search results - page 80 / 372 » A Temporal Logic of Robustness |
AAAI
2000
13 years 11 months ago
2000
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
Spatial and temporal database systems, both in theory and in practice, have developed dramatically over the past two decades to the point where usable commercial systems, underpin...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
NIPS
2003
13 years 11 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...