Search Sciweavers | Sciweavers

151 search results - page 7 / 31

» Model Checking Hybrid Multiagent Systems for the RoboCup

click to vote

FUIN
2008

103views more FUIN 2008»

LDYIS: a Framework for Model Checking Security Protocols

13 years 7 months ago

Download www.doc.ic.ac.uk

We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...

Alessio Lomuscio, Wojciech Penczek

claim paper

Read More »

click to vote

ENTCS
2007

156views more ENTCS 2007»

Bounded Model Checking with Parametric Data Structures

13 years 7 months ago

Download heim.ifi.uio.no

Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...

Erika Ábrahám, Marc Herbstritt, Bern...

claim paper

Read More »

click to vote

ATAL
2010
Springer

171views Intelligent Agents» more ATAL 2010»

Distributed BDD-based BMC for the verification of multi-agent systems

13 years 8 months ago

Download www.doc.ic.ac.uk

We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...

Andrew V. Jones, Alessio Lomuscio

claim paper

Read More »

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

13 years 8 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »