Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
Amsterdam / Elsevier (2019) [Journal Article]
Information and computation
Volume: 268
Page(s): 104431
Authors
Selected Authors
Huang, Mingzhang
Fu, Hongfei
Katoen, Joost-Pieter
Identifier
- DOI: 10.1016/j.ic.2019.05.004
- REPORT NUMBER: RWTH-2019-09402