A theorem-proving approach to deciding properties of finite control agents

  • Authors:

  • Torkel Franzen

  • Affiliations:

  • -

  • Venue:
  • A theorem-proving approach to deciding properties of finite control agents
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem proving.