2282 search results - page 191 / 457 » Active property checking |
172
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
125
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
140
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
122
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...
138
Voted
WG
2004
Springer
15 years 10 months ago
2004
Springer
The clique problem consists in determining whether an undirected graph G of order n contains a clique of order . In this paper we are concerned with the decremental version of cliq...