151 search results - page 8 / 31 » Model Checking Hybrid Multiagent Systems for the RoboCup |
115
click to vote
AAMAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
131
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
125
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
114
click to vote
HYBRID
1995
Springer
15 years 5 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
120
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...