A Contextual Equivalence Checker for IMJ ∗.

Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos

Published in: ATVA (2015)

Keyphrases

contextual information
databases
real time
context sensitive
data sets
real world
decision trees
optimal solution
control system
context aware
contextual knowledge
interactive dynamic influence diagrams