|
|
|
|
|
|
|
|
|
|
|
|
Stefan Kiefer. On computing the total variation distance of hidden Markov models. In Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP), Leibniz International Proceedings in Informatics (LIPIcs), pages 130:1–130:13, 2018. |
|
|
Stefan Kiefer. On computing the total variation distance of hidden Markov models. Technical report, arXiv.org, 2018. Available at https://arxiv.org/abs/1804.06170. |
|
|
Radu Grigore and Stefan Kiefer. Selective monitoring. In Proceedings of the 29th International Conference on Concurrency Theory (CONCUR), Leibniz International Proceedings in Informatics (LIPIcs), pages 20:1–20:16, 2018. |
|
|
Radu Grigore and Stefan Kiefer. Selective monitoring. Technical report, arXiv.org, 2018. Available at https://arxiv.org/abs/1806.06143. |
|
|
Vojtěch Forejt, Petr Jančar, Stefan Kiefer, and James Worrell. Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Logical Methods in Computer Science (LMCS), 14(4), 2018. |
|
|
|
|
|
|
|
|
|
Contact
