Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic | IEEE Conference Publication | IEEE Xplore