1860 search results - page 84 / 372 » A Temporal Logic of Robustness |
194
click to vote
ROOM
2000
15 years 8 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
124
click to vote
PRL
2002
15 years 6 months ago
2002
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
221
click to vote
TIME
2003
IEEE
16 years 1 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
223
click to vote
JOLLI
2010
15 years 1 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
173
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...