Not logged in

Return

Verifying Autonomous Systems

2013-09-01

112

PRE

AI

Michael Fisher *

Louise A. Dennis

DOI：10.1145/2500468.2494558

Original request for help

Save

Abstract

En

Keywords:

MULTIAGENT

Journal

Communications of the ACM

IF:

12.2

Papers:

1.2W

Citations:

3.7W

Organization

U

University of Liverpool

Scholars:

2.8W

Papers: 2.5W

Citations: 3.5W