MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verifiable Multi-agent Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Verifiable Multi-Agent Programs
by Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
…Verifiable Multi-Agent Programs Rafael H. Bordini Michael Fisher Willem Visser y Michael…
Cited by 10 (4 self) – Add To MetaCart

Verifying Multi-Agent Programs by Model Checking
by Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge — 2006 — Journal of Autonomous Agents and Multi-Agent Systems
…Verifying Multi-Agent Programs by Model Checking Rafael H. Bordini 1 , Michael Fisher 2 , Willem…
Cited by 19 (7 self) – Add To MetaCart

666 BIBLIOGRAPHY
by M. Abadi, Z. Manna, Nonclausal Temporal, Deduction Lecture Notes, S. Abiteboul, S. Grumbach, A Logic-based, Language Complex
…. [Bordini et al., 2003b] R. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifiable Multi-Agent…
Add To MetaCart

Languages, Verification
by Louise A. Dennis
…–903. IEEE, 2004. [3] R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying Multi-Agent Programs…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB