Issues with Path Representation in Transition Systems.

Yi Zheng Pei He Chi-Chang Chang Yafen Liu

Published in: ACIT/CSII/BCD (2017)

Keyphrases

transition systems
temporal logic
concurrent systems
model checking
artificial intelligence
source code
markov chain
dynamic environments
finite state