Deriving Mode Logic for Autonomous Resilient Systems.

Inna Vistbakka Amin Majd Elena Troubitsyna

Published in: ICFEM (2018)

Keyphrases

complex systems
management system
computer systems
knowledge based systems
building blocks
learning systems
autonomous systems
neural network
learning algorithm
cooperative
software engineering
model checking
digital circuits
rewrite systems