Verification of multi decisional reactive agent using SMV model checker | IEEE Conference Publication | IEEE Xplore