Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
On Generalized Performance Evaluation and Generalized Controller Synthesis
Zining Cao
In this paper, we propose the frameworks of generalized performance evaluation and generalized controller synthesis. To this end, we give a true concurrent process calculus as the…
cs.LO2025
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…