Machine learning models that use deep neural networks (DNNs) are vulnera...
Autonomous cyber and cyber-physical systems need to perform decision-mak...
The data used to train deep neural network (DNN) models in applications ...
Machine learning models in the wild have been shown to be vulnerable to
...
The inputs and preferences of human users are important considerations i...
Multi-agent Markov Decision Processes (MMDPs) arise in a variety of
appl...
A cyber-physical system (CPS) is expected to be resilient to more than o...
This paper studies the synthesis of control policies for an agent that h...
This paper studies the satisfaction of a class of temporal properties fo...
Increasingly large trip demands have strained urban transportation capac...
Cyber-physical systems are conducting increasingly complex tasks, which ...