Formalization and Verification of Cyclic Group.

Yue Tang Yang Xu Peiyao Liu Guoyan Zeng

Published in: ISKE (2021)

Keyphrases

formal analysis
real time
image processing
knowledge representation
knowledge base
natural language
probabilistic model
model checking
group membership