DssEC: A Deep State Sequence Based Equivalence Checker.

Jian Hu Yun Kang Yongyang Hu Haitao Yang Le Tong Jie Cheng Junquan Deng

Published in: CSAE (2021)

Keyphrases

website
real time
decision making
decision trees
case study
relational databases
evolutionary algorithm
special case
mobile robot
probability distribution
state space
deep learning
hidden state