Improved bounded model checking for a fair branching-time temporal epistemic logic
Xiaowei Huang, Cheng Luo, Ron van der Meyden · Adaptive Agents and Multi-Agents Systems · 2010
The paper develops a new approach to bounded model checking for a logic of knowledge and branching time. Experimental results are presented that demonstrate improved model checking performance, compared with previous approaches, on a range of examples.