A Verification Method for MASOES.

Niriaska Perozo José Lisandro Aguilar Oswaldo Terán Heidy Molina

Published in: IEEE Trans. Cybern. (2013)

Keyphrases

verification method
model checking
temporal logic
knowledge base