Combined model checking for temporal, probabilistic, and real-time logics


a r t i c l e i n f o a b s t r a c t Model checking is a well-established technique for the formal verification of concurrent and distributed systems. In recent years, model checking has been extended and adapted for multi-agent systems, primarily to enable the formal analysis of belief–desire–intention systems. While this has been successful, there is a… (More)
DOI: 10.1016/j.tcs.2013.07.012

6 Figures and Tables


  • Presentations referencing similar topics