Advertisement

Model checking game properties of multi-agent systems

  • Thomas A. Henzinger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1443)

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Thomas A. Henzinger
    • 1
  1. 1.Electrical Engineering and Computer SciencesUniversity of CaliforniaBerkeley

Personalised recommendations