• Model checking rational agents 

      Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
      Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...