Work

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Year: 2014

Type: article

Source: Simulation Modelling Practice and Theory

DOI: 10.1016/j.simpat.2014.11.003

Authors: Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan, Wei Wan, Ehsan Khosrowshahi Asl

Institution: Concordia University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Ministry of Higher Education, Natural Sciences and Engineering Research Council of Canada

OpenAlex ID: W1998559974

FWCI: 2.557

Cites: 88

Cited by: 39

Related to: 10