Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi. Symbolic verification of event-condition-action rules in intelligent environments. J. Reliable Intelligent Environments, 3(2):117-130, 2017. [doi]
Abstract is missing.