Logic and Model Checking for Hidden Markov Models.

Lijun Zhang, Holger Hermanns, David N. Jansen

Browse the full FORTE paper archive.