Symbolic verification of event–condition–action rules in intelligent environments
Article
Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-z
Type | Article |
---|---|
Title | Symbolic verification of event–condition–action rules in intelligent environments |
Authors | Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. |
Abstract | In this paper we show how state-of-the art SMT-based techniques for software verification can be employed in the verification of event–condition–action rules in intelligent environments. Moreover, we exploit the specific features of intelligent environments to optimise the verification process. We compare our approach with previous work in a detailed evaluation section, showing how it improves both performance and expressivity of the language for event–condition–action rules. |
Publisher | Springer |
Journal | Journal of Reliable Intelligent Environments |
ISSN | 2199-4668 |
Electronic | 2199-4676 |
Publication dates | |
Online | 27 Feb 2017 |
01 Aug 2017 | |
Publication process dates | |
Deposited | 08 May 2017 |
Accepted | 11 Feb 2017 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | This is a post-peer-review, pre-copyedit version of an article published in Journal of Reliable Intelligent Environments. The final authenticated version is available online at: http://dx.doi.org/10.1007/s40860-017-0036-z |
Digital Object Identifier (DOI) | https://doi.org/10.1007/s40860-017-0036-z |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/86z01
Download files
67
total views29
total downloads9
views this month4
downloads this month
Export as
Related outputs
Implementing a digital twin for a robotic platform to support large-scale coding classes
Heeney, M., Androutsopoulos, K. and Raimondi, F. 2024. Implementing a digital twin for a robotic platform to support large-scale coding classes. Santos, A.L. and Pinto-Albuquerque, M. (ed.) 5th International Computer Programming Education Conference. Lisbon, Portugal 27 - 28 Jun 2024 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. https://doi.org/10.4230/oasics.icpec.2024.15Threshold signature in off-chain components to manage inter-chain transactions
Bigiotti, A., Mostarda, L., Navarra A, Shah, P. and Trestian, R. 2024. Threshold signature in off-chain components to manage inter-chain transactions. 6th Conference on Blockchain Research & Applications for Innovative Networks and Services. Berlin, Germany 09 - 11 Oct 2024 IEEE. pp. 1-4 https://doi.org/10.1109/brains63024.2024.10732513