A Unified Encoding of Structures in Transition Systems.

Tao Ji Yong Jiang Tao Wang Zhongqiang Huang Fei Huang Yuanbin Wu Xiaoling Wang

Published in: EMNLP (1) (2021)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
practical reasoning
control flow