EFSMT: A Logical Framework for Cyber-Physical Systems.

Chih-Hong Cheng Natarajan Shankar Harald Ruess Saddek Bensalem

Published in: CoRR (2013)

Keyphrases

logical framework
cyber physical systems
cyber physical
physical world
inference rules
cyber security
belief revision
reasoning tasks
embedded systems
critical infrastructure
intrusion detection
social networks
data mining
multi agent
automated reasoning
bayesian networks
artificial intelligence