Usama Mehmood

18 papers B 1C 1Misc 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
The black-box simplex architecture for runtime assurance of multi-agent CPS.
Innov. Syst. Softw. Eng.
Sanaz Sheikhi, Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2025 J jnl
Urdu Sentential Paraphrased Plagiarism Detection Using Large Language Models.
ACM Trans. Asian Low Resour. Lang. Inf. Process.
Hafiz Rizwan Iqbal, Muhammad Sharjeel, Jawad Shafi, Usama Mehmood, Agha Ali Raza
2025 J jnl
Urdu paraphrased text reuse and plagiarism detection using pre-trained large language models and deep hybrid neural networks.
Multim. Tools Appl.
Hafiz Rizwan Iqbal, Muhammad Sharjeel, Jawad Shafi, Usama Mehmood, Saeed-Ul Hassan, Agha Ali Raza
2023 J jnl
A distributed simplex architecture for multi-agent systems.
J. Syst. Archit.
Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2022 — conf
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.
NFM
Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2021 Misc conf
A Distributed Simplex Architecture for Multi-agent Systems.
SETTA
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2021 — conf
Collision-Free 3D Flocking Using the Distributed Simplex Architecture.
Formal Methods in Outer Space
Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
2021 C conf
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding.
ACC
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2021 J jnl
Safe CPS from Unsafe Controllers.
CoRR
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2021 — conf
Safe CPS from unsafe controllers.
CAADCPS@CPSIoTWeek
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2020 J jnl
A Distributed Simplex Architecture for Multi-Agent Systems.
CoRR
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2020 — conf
Learning Distributed Controllers for V-Formation.
ACSOS
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020 J jnl
Learning Distributed Controllers for V-Formation.
CoRR
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020 B conf
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers.
FoSSaCS
Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2019 J jnl
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers.
CoRR
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2018 Misc conf
Declarative vs rule-based control for flocking dynamics.
SAC
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017 J jnl
Declarative vs Rule-based Control for Flocking Dynamics.
CoRR
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017 J jnl
Model Checking Cyber-Physical Systems using Particle Swarm Optimization.
CoRR
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang