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）基于智能体的方法，即在系统的模块化表示上运行，而非其庞大的显式状态模型。