Logic and Model Checking for Hidden Markov Models.

Lijun Zhang Holger Hermanns David N. Jansen Logic and Model Checking for Hidden Markov Models. 98-112 2005 conf/forte/2005 FORTE http://dx.doi.org/10.1007/11562436_9 db/conf/forte/forte2005.html#ZhangHJ05