---
title: "The Complexity of Model Checking Succinct Multiagent Systems"
authors:
  - "Xiaowei Huang"
  - "Qingliang Chen"
  - "Kaile Su"
doi: ""
url: "https://ijcai.org/proceedings/2015/156"
pdf: "https://ijcai.org/proceedings/2015/0156.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "1076-1081"
track: "Main Track"
keywords:
---

# The Complexity of Model Checking Succinct Multiagent Systems

Xiaowei Huang, Qingliang Chen, Kaile Su

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 1076-1081.

## Abstract

This paper studies the complexity of model checking multiagent systems, in particular systems succinctly described by two practical representations: concurrent representation and symbolic representation. The logics we concern include branching time temporal logics and several variants of alternating time temporal logics.