Using SPIN for verification of multiagent data analysis.
Natalya Olegovna GaraninaEvgeny V. BodinElena A. SidorovaPublished in: Autom. Control. Comput. Sci. (2015)
Keyphrases
- data analysis
- multi agent
- multiagent systems
- cooperative
- data collection
- multi agent systems
- data processing
- model checking
- formal verification
- autonomous agents
- big data
- data mining applications
- data visualization
- multiple agents
- machine learning
- data mining
- concurrent systems
- pattern discovery
- life sciences
- false acceptance rate
- intelligent agents
- business intelligence
- rough sets
- rough set theory
- information visualization
- real time
- databases
- verification method
- room temperature
- asynchronous circuits
- person identification
- neural network
- single agent
- formal methods
- information retrieval
- reinforcement learning
- high dimensional data
- cluster analysis