5 citations · 9 across the 6 of their papers we have counts for
7 papers
Uncertainty-Aware Conflict Detection Against Operator-Conditioned Weather Hazards
Balram Kandoria, Seulki Kim, Aryaman Singh Samyal
Strategic flight plan validation in Advanced Air Mobility (AAM) environments requires robust methods for predicting aircraft state uncertainty and detecting potential conflicts wit…
Kalman Filtering Based Flight Management System Modeling for AAM Aircraft
Balram Kandoria, Aryaman Singh Samyal
Advanced Air Mobility (AAM) operations are planned to utilize strategic flight planning services that predict temporal uncertainties to validate flight plans against hazards such a…
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning
Cyrus Neary, Christian Ellis, Aryaman Singh Samyal +2
We propose and demonstrate a compositional framework for training and verifying reinforcement learning (RL) systems within a multifidelity sim-to-real pipeline, in order to deploy…
Verifiable Reinforcement Learning Systems via Compositionality
Cyrus Neary, Aryaman Singh Samyal, Christos Verginis +2
We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil +2
We investigate the problem of autonomous racing among teams of cooperative agents that are subject to realistic racing rules. Our work extends previous research on hierarchical con…
Analysis and Adaptation of YOLOv4 for Object Detection in Aerial Images
Aryaman Singh Samyal, Akshatha K R, Soham Hans +2
The recent and rapid growth in Unmanned Aerial Vehicles (UAVs) deployment for various computer vision tasks has paved the path for numerous opportunities to make them more effectiv…
Hierarchical Control for Head-to-Head Autonomous Racing
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil +2
We develop a hierarchical controller for head-to-head autonomous racing. We first introduce a formulation of a racing game with realistic safety and fairness rules. A high-level pl…