813 search results - page 58 / 163 » Correctness Properties for Multiagent Systems |
119
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
163
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
121
click to vote
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We consider here multi-agent patrolling as the task for a group of agents to repeatedly visit all the cells of a discrete environment. Wagner et al. [1] have introduced patrolli...
151
click to vote
TROB
2008
15 years 3 months ago
2008
Control of mobile networks raises fundamental and novel problems in controlling the structure of the resulting dynamic graphs. In particular, in applications involving mobile senso...
120
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...