Verifying autonomous systems

  • Authors:
  • Michael Fisher;Louise Dennis;Matt Webster

  • Affiliations:
  • University of Liverpool, U.K.;University of Liverpool, U.K.;Daresbury Laboratory Warrington, U.K.

  • Venue:
  • Communications of the ACM
  • Year:
  • 2013

Quantified Score

Hi-index 48.22

Visualization

Abstract

Exploring autonomous systems and the agents that control them.