Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic

The paper develops a new approach to bounded model checking fora logic of knowledge and branching time. Experimental results arepresented that demonstrate improved model checking performance, compared with previous approaches, on a range of examples.

Authors

• Xiaowei Huang University of Liverpool
• Cheng Luo
• Ron van der Meyden

Keywords

No keywords are indexed for this paper.