Symbolic verification of event-condition-action rules in intelligent environments.
Claudia VannucchiMichelangelo DiamantiGianmarco MazzanteDiletta CacciagranoRosario CulmoneNikos GorogiannisLeonardo MostardaFranco RaimondiPublished in: J. Reliab. Intell. Environ. (2017)