4 papers
Controller synthesis method for multi-agent system based on temporal logic specification
Ruohan Huang, Zining Cao
Controller synthesis is a theoretical approach to the systematic design of discrete event systems. It constructs a controller to provide feedback and control to the system, ensurin…
On Higher Order Busy Beaver Function
Zining Cao
In this paper, we extend Busy Beaver function to a class of higher order Busy Beaver functions based on Turing oracle machine. We prove some results about the relation between deci…
A Complete Mental Temporal Logic for Intelligent Agent
Zining Cao
In this paper, we present a complete mental temporal logic, called BPICTL, which generalizes CTL by introducing mental modalities. A sound and complete inference system of BPICTL i…
Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
Qixian Yu, Zining Cao, Zong Hui +1
This paper presents a comprehensive framework for modeling and verifying multi-agent systems. The paper introduce an Epistemic Process Calculus for multi-agent systems, which forma…