A decision support system for improving resiliency of cooperative adaptive cruise control systems
A method for revealing and addressing security vulnerabilities in cyber-physical systems by modeling malicious agent interactions with formal verification
Detection of fault data injection attack on UAV using adaptive neural network
Exploration of simulated creatures learning to cross a highway using frequency histograms