Deep Reinforcement Learning (RL) agents are susceptible to adversarial n...
This paper presents COOL-MC, a tool that integrates state-of-the-art
rei...
Detection of military assets on the ground can be performed by applying ...
We give a formal verification procedure that decides whether a classifie...