6 papers
Economic Governance of Autonomous Agents and Robots: Factor-Origin Accounting and Social Automation Funds
Toqeer Ali Syed, Ali Akarma, Adeel Ahmad +1
Contemporary fiscal architectures rely overwhelmingly on human labor income and payroll withholdings to finance social insurance and public infrastructure. The rapid diffusion of a…
Beyond Scene Description: Multi-Agent Orchestration for Non-visual Access to Virtual Worlds
Toqeer Ali Syed, Ali Akarma, Adeel Ahmad +1
Virtual worlds now host classrooms, meetings, conferences, shops, and social venues, and nearly every interaction they expose assumes a user who can scan a three-dimensional scene,…
An Affordable AI-Integrated Smart Cane for Multimodal Mobility Assistance of Visually Impaired Users
Ali Akarma, Adeel Ahmad, Toqeer Ali Syed
Visual impairment affects over 2.2 billion people worldwide, yet conventional white canes cannot detect elevated hazards or provide semantic environmental context. Existing AI-assi…
Privacy Leakage in Federated Learning: Gradient-Based Client Identity Inference and Defenses for Inertial Sensing in Vehicular Edge Networks
Ali Akarma, Toqeer Ali Syed, Muhammad Khan +2
As vehicular networks move toward 5G/6G edge intelligence, federated learning (FL) is widely promoted as a privacy-preserving way for vehicles and infrastructure to train shared mo…
Dijkstra as an Oracle for Online Stochastic Shortest Path Navigation with Provable Guarantees
Mansur M. Arief, Ali Akarma, Ahmad Alfan Alfian Irfan
Mobile robots that operate in side by side with humans and critical facilities must reach their goals at low cost, despite often unknown true traversal costs of the map apriori and…
Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications
Mansur Arief, Nur Ahmad Khatim, Ali Akarma +1
Modern software teams have mature tools for low-level testing, such as pytest, JUnit, and Jest, which make it inexpensive to write unit tests and run them on every commit. Systems…