4693 search results - page 267 / 939 » Verifying Hybrid Systems |
173
click to vote
DLOG
2006
15 years 8 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
149
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
148
click to vote
WIAS
2008
15 years 6 months ago
2008
When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system be...
176
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
164
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...