no code implementations • 5 Mar 2021 • Nur Imtiazul Haque, Mohammad Ashiqur Rahman, Md Hasan Shahriar, Alvi Ataur Khalil, Selcuk Uluagac
In this paper, we propose SHChecker, a novel threat analysis framework that integrates machine learning and formal analysis capabilities to identify potential attacks and corresponding effects on an IoMT-based SHS.
no code implementations • 3 Mar 2021 • Alvi Ataur Khalil, Alexander J Byrne, Mohammad Ashiqur Rahman, Mohammad Hossein Manshaei
The uniqueness of UAVs in systems creates a novel set of trajectory or path planning and coordination problems.
Multi-agent Reinforcement Learning
reinforcement-learning
+3