Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes

Petr Jancar Jirí Srba

Published in: CoRR (2013)

Keyphrases

higher order
probabilistic planning
decision making
expert systems
description logics
neural network
learning algorithm
artificial intelligence
process model
model checking
computational models
stochastic processes