Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach

Author: Gouveia Paula  

Publisher: Springer Publishing Company

ISSN: 1012-2443

Source: Annals of Mathematics and Artificial Intelligence, Vol.41, Iss.2-4, 2004-08, pp. : 301-338

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract