1860 search results - page 84 / 372 » A Temporal Logic of Robustness |
157
click to vote
ROOM
2000
15 years 6 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...
102
click to vote
PRL
2002
15 years 5 months ago
2002
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
185
click to vote
TIME
2003
IEEE
15 years 10 months 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...
189
click to vote
JOLLI
2010
15 years 3 days 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 ...
153
click to vote
ATAL
2005
Springer
15 years 11 months 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...