A Formal Model for Autonomous Planning in High Performance Systems.

Flora Amato Antonino Mazzeo Nicola Mazzocca Francesco Moscato

Published in: EUSPN/ICTH (2016)

Keyphrases

formal model
security patterns
knowledge based systems
learning systems
data intensive
expert systems
distributed systems
building blocks
autonomous systems
neural network
mobile robot
blocks world
security properties