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