Branching Bisimilarity Checking for PRS.

Qiang Yin Yuxi Fu Chaodong He Mingzhang Huang Xiuting Tao

Published in: ICALP (2) (2014)

Keyphrases

branch and bound
mental states
search tree
operational semantics
feature selection
control system
real world
special case
agent programming