Christopher Langmead and Sumit Kumar Jha:
Symbolic Approaches to Finding Control Strategies in Boolean Networks. In Proceedings of APBC 2008 [ Download PDF ]
Edmund M. Clarke, Sumit Kumar Jha and Christopher J. Langmead:
Temporal Logic for Dynamic Bayesian Networks. Technical Report [ Download PDF ]