A Modest Markov Automata Tutorial

Arnd Hartmanns, Holger Hermanns. A Modest Markov Automata Tutorial. In Markus Krötzsch, Daria Stepanova 0001, editors, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures. Volume 11810 of Lecture Notes in Computer Science, pages 250-276, Springer, 2019. [doi]

Abstract

Abstract is missing.