When Human Intuition Fails: Using Formal Methods to Find an Error in the “Proof” of a Multi-agent Protocol

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-25540-4_20 ◽

2019 ◽

pp. 366-375 ◽

Cited By ~ 1

Author(s):

Jennifer A. Davis ◽

Laura R. Humphrey ◽

Derek B. Kingston

Keyword(s):

Formal Methods ◽

Multi Agent ◽

Agent Protocol

Download Full-text

Simulation of a multi-agent protocol for task allocation in cooperative design

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) ◽

10.1109/icsmc.1999.823161 ◽

2003 ◽

Author(s):

Kwang Mong Sim ◽

S.C.K. Shiu ◽

M.L. Bun

Keyword(s):

Task Allocation ◽

Cooperative Design ◽

Multi Agent ◽

Agent Protocol

Download Full-text

A multi-agent protocol for service level agreement negotiation in cloud federations

International Journal of Grid and Utility Computing ◽

10.1504/ijguc.2016.077488 ◽

2016 ◽

Vol 7 (2) ◽

pp. 101 ◽

Cited By ~ 15

Author(s):

Fabrizio Messina ◽

Giuseppe Pappalardo ◽

Corrado Santoro ◽

Domenico Rosaci ◽

Giuseppe M.L. Sarné

Keyword(s):

Service Level Agreement ◽

Service Level ◽

Multi Agent ◽

Agent Protocol

Download Full-text

Formal Methods for Information Protection Technology. Task 2: Mathematical Foundations, Architecture and Principles of Implementation of Multi-Agent Learning Components for Attack Detection in Computer Networks. Part 2

10.21236/ada427492 ◽

2003 ◽

Author(s):

I. V. Kotenko

Keyword(s):

Formal Methods ◽

Computer Networks ◽

Attack Detection ◽

Information Protection ◽

Agent Learning ◽

Protection Technology ◽

Multi Agent ◽

Mathematical Foundations

Download Full-text

Multi Agent Protocol for Cooperative Rear-end Collision Avoidance System

2019 2nd International Conference on Applied Information Technology and Innovation (ICAITI) ◽

10.1109/icaiti48442.2019.8982117 ◽

2019 ◽

Author(s):

Noor Cholis Basjaruddin ◽

Zakka Izzatur Rahman Noor ◽

Dwi Hendratmo Widyantoro

Keyword(s):

Collision Avoidance ◽

Multi Agent ◽

Collision Avoidance System ◽

Agent Protocol

Download Full-text

Partnering Mechanism with Adaptive Multi-Agent Protocol for Virtual Enterprise

Processes and Foundations for Virtual Organizations ◽

10.1007/978-0-387-35704-1_43 ◽

2004 ◽

pp. 407-414

Author(s):

Toshiya Kaihara ◽

Susumu Fujii

Keyword(s):

Virtual Enterprise ◽

Multi Agent ◽

Agent Protocol

Download Full-text

Experience using formal methods for specifying a multi-agent system

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873929 ◽

2002 ◽

Cited By ~ 18

Author(s):

C. Rouff ◽

J. Rash ◽

M.G. Hinchey

Keyword(s):

Formal Methods ◽

Multi Agent System ◽

Agent System ◽

Multi Agent

Download Full-text

Multi Agent Protocol for Cooperative Intersection Collision Avoidance System

Proceedings of the 7th Engineering International Conference on Education, Concept and Application on Green Technology ◽

10.5220/0009011003350340 ◽

2018 ◽

Author(s):

Noor Cholis Basjaruddin ◽

Dwi Hendratmo Widyantoro ◽

Saufik Ramadhan ◽

Umar Zaenal Abidin

Keyword(s):

Collision Avoidance ◽

Multi Agent ◽

Collision Avoidance System ◽

Agent Protocol

Download Full-text

Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems ◽

10.15439/2018f262 ◽

2018 ◽

Cited By ~ 4

Author(s):

Vinitha Hannah Subburaj ◽

Joseph E. Urban

Keyword(s):

Formal Methods ◽

Security Requirements ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Multi Agent Protocol for Cooperative Intersection Collision Avoidance System

Proceedings of the 7th Engineering International Conference on Education, Concept and Application on Green Technology ◽

10.5220/0009011003460351 ◽

2018 ◽

Author(s):

Noor Cholis Basjaruddin ◽

Dwi Hendratmo Widyantoro ◽

Saufik Ramadhan ◽

Umar Zaenal Abidin

Keyword(s):

Collision Avoidance ◽

Multi Agent ◽

Collision Avoidance System ◽

Agent Protocol

Download Full-text

A multi-agent protocol to manage interference in a distributed base station system

2008 International Conference on Advanced Technologies for Communications ◽

10.1109/atc.2008.4760613 ◽

2008 ◽

Cited By ~ 5

Author(s):

Philippe Leroux ◽

Sebastien Roy ◽

Jean-Yves Chouinard

Keyword(s):

Base Station ◽

Multi Agent ◽

Agent Protocol

Download Full-text