This paper is review pending but the review hasn't started. Editor and reviewer assignments are happening over in GitHub over here »

The MCAPL (Model-checking agent programming languages) framework for creating interpreters for rational agent (BDI-style) programming languages and formally verifying programs running in those interpreters using the model-checking technique.

Archive DOI: pending