Natasha A. Neogi

35 papers B 1C 6Journal 12Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Adapt, But Don't Forget: Fine-Tuning and Contrastive Routing for Lane Detection under Distribution Shift.
ICCVW
Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Sarah M. Lehman, Siddhartha Bhattacharyya, Amy Alvarez, Natasha A. Neogi
2025 J jnl
Adapt, But Don't Forget: Fine-Tuning and Contrastive Routing for Lane Detection under Distribution Shift.
CoRR
Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Sarah M. Lehman, Siddhartha Bhattacharyya, Amy Alvarez, Natasha A. Neogi
2025 J jnl
Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems.
CoRR
Parth Ganeriwala, Michael Matessa, Siddhartha Bhattacharyya, Randolph M. Jones, Jennifer A. Davis, Parneet Kaur, Simone Fulvio Rollini, Natasha A. Neogi
2025 — conf
Design and Validation of Learning Aware HMI for Learning-Enabled Increasingly Autonomous Systems.
SysCon
Parth Ganeriwala, Michael Matessa, Siddhartha Bhattacharyya, Randolph M. Jones, Jennifer A. Davis, Parneet Kaur, Simone Fulvio Rollini, Natasha A. Neogi
2025 — conf
Runway vs. Taxiway: Challenges in Automated Line Identification and Notation Approaches.
SysCon
Parth Ganeriwala, Amy Alvarez, Abdullah AlQahtani, Siddhartha Bhattacharyya, Mohammed Abdul Hafeez Khan, Natasha A. Neogi
2025 J jnl
Runway vs. Taxiway: Challenges in Automated Line Identification and Notation Approaches.
CoRR
Parth Ganeriwala, Amy Alvarez, Abdullah AlQahtani, Siddhartha Bhattacharyya, Mohammed Abdul Hafeez Khan, Natasha A. Neogi
2025 J jnl
Separation Assurance in Urban Air Mobility Systems using Shared Scheduling Protocols.
CoRR
Surya Murthy, Tyler Ingebrand, Sophia Smith, Ufuk Topcu, Peng Wei, Natasha A. Neogi
2025 J jnl
Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning-Enabled Autonomous Agent.
Syst. Eng.
Parth Ganeriwala, Nandith Narayan, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Simone Fulvio Rollini, Hemant Purohit, Natasha A. Neogi
2024 — conf
ALINA: Advanced Line Identification and Notation Algorithm.
CVPR Workshops
Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Siddhartha Bhattacharyya, Natasha A. Neogi, Raja Muthalagu
2024 J jnl
ALINA: Advanced Line Identification and Notation Algorithm.
CoRR
Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Siddhartha Bhattacharyya, Natasha A. Neogi, Raja Muthalagu
2024 J jnl
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations.
CoRR
Parth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi
2023 C conf
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations.
ICMLA
Parth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi
2022 — conf
Scheduling for Urban Air Mobility using Safe Learning.
FMAS/ASYDE@SEFM
Surya Murthy, Natasha A. Neogi, Suda Bharadwaj
2021 J jnl
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.
IEEE Syst. J.
Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi, Thomas C. Eskridge
2021 J jnl
Assuring Intelligent Systems: Contingency Management for UAS.
IEEE Trans. Intell. Transp. Syst.
Natasha A. Neogi, Siddhartha Bhattacharyya, Daniel Griessler, Harshitha Kiran, Marco M. Carvalho
2021 J jnl
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.
IEEE Trans. Control. Netw. Syst.
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu
2021 — conf
Minimum-Violation Traffic Management for Urban Air Mobility.
NFM
Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu
2020 — conf
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.
SysCon
Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi
2020 — conf
Intelligent Contingency Management for Urban Air Mobility.
DDDAS
Irene M. Gregory, Newton H. Campbell, Natasha A. Neogi, Jon B. Holbrook, Jared A. Grauer, Barton J. Bacon, Patrick C. Murphy, Daniel D. Moerder, Benjamin M. Simmons, Michael J. Acheson, Thomas C. Britton, Jacob W. Cook
2019 — conf
Traffic Management for Urban Air Mobility.
NFM
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
2018 — conf
Formal Assurance for Cooperative Intelligent Autonomous Agents.
NFM
Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford
2015 — conf
Formal requirement management for the Responsive and Formal Design process.
ISSE
Solomon Gebreyohannes, William W. Edmonson, Jules Chenou, Natasha A. Neogi, Albert C. Esterline
2014 — conf
Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.
CSDM (Posters)
Jules Chenou, William W. Edmonson, Albert C. Esterline, Natasha A. Neogi
2014 — conf
Small satellite systems design methodology: A formal and agile design process.
SysCon
William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana
2012 — conf
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.
CDC
Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron
2012 — conf
Modular Methods for Verification and Validation of Air Traffic Control Algorithms.
Infotech@Aerospace
Natasha A. Neogi, Heber Herencia-Zapana
2011 C conf
Multi-runway aircraft sequencing at congested airports.
ACC
Luc Bojanowski, Dimitri Harikiopoulo, Natasha A. Neogi
2011 J jnl
Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport.
IEEE Trans. Intell. Transp. Syst.
Dimitri Harikiopoulo, Natasha A. Neogi
2009 C conf
Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology.
ACC
Daniel Uhlig, Negar Kiyavash, Natasha A. Neogi
2008 C conf
Partitioning and the online-world design problem for multi-player games.
ACC
Natasha A. Neogi, Cédric Langbort
2007 C conf
Distributed Control over Structured and Lossy Networks.
ACC
Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi
2007 J jnl
Failure-robust distributed controller architectures.
Int. J. Control
Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi
2006 B conf
Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict Resolution.
SMC
Natasha A. Neogi, Asal Naseri
2004 — conf
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis.
HSCC
Natasha A. Neogi
2004 C conf
Utilizing the structure of safety properties to aid in the verification of hybrid controllers.
ACC
Natasha A. Neogi