Toward the Revision of CTL Models through Kripke Modal Transition Systems.

Paulo T. Guerra Aline Andrade Renata Wassermann

Published in: SBMF (2013)

Keyphrases

transition systems
model checking
temporal logic
modal logic
reactive systems
model checker
concurrent systems
practical reasoning
finite state
formal specification
multi agent
knowledge base
reinforcement learning