Simulation for lattice-valued doubly labeled transition systems.

Haiyu Pan Yongzhi Cao Min Zhang Yixiang Chen

Published in: Int. J. Approx. Reason. (2014)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
training data
finite state
control flow
case study
multi agent
heuristic search