Formal verification of intelligent agents is often computationally infeasible due to state-space explosion. We present a tool for reducing the impact of the explosion by means of state abstraction that is (a) easy to use and understand by non-experts, and (b) agent-based in the sense that it operates on a modular representation of the system, rather than on its huge explicit state model.

翻译：智能体的形式化验证常因状态空间爆炸而计算上不可行。我们提出一种通过状态抽象来降低爆炸影响的工具，该工具具有以下特点：（a）易于非专家理解和使用，（b）基于智能体，即操作系统的模块化表示而非其庞大的显式状态模型。