default search action
Natasha A. Neogi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c20]Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Siddhartha Bhattacharyya, Natasha A. Neogi, Raja Muthalagu:
ALINA: Advanced Line Identification and Notation Algorithm. CVPR Workshops 2024: 7293-7302 - [i2]Mohammed Abdul Hafeez Khan, Parth Ganeriwala, Siddhartha Bhattacharyya, Natasha A. Neogi, Raja Muthalagu:
ALINA: Advanced Line Identification and Notation Algorithm. CoRR abs/2406.08775 (2024) - [i1]Parth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi:
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations. CoRR abs/2409.06856 (2024) - 2023
- [c19]Parth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi:
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations. ICMLA 2023: 1094-1099 - 2022
- [c18]Surya Murthy, Natasha A. Neogi, Suda Bharadwaj:
Scheduling for Urban Air Mobility using Safe Learning. FMAS/ASYDE@SEFM 2022: 86-102 - 2021
- [j5]Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi, Thomas C. Eskridge:
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems. IEEE Syst. J. 15(4): 4852-4863 (2021) - [j4]Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu:
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. 8(2): 598-608 (2021) - [j3]Natasha A. Neogi, Siddhartha Bhattacharyya, Daniel Griessler, Harshitha Kiran, Marco M. Carvalho:
Assuring Intelligent Systems: Contingency Management for UAS. IEEE Trans. Intell. Transp. Syst. 22(9): 6028-6038 (2021) - [c17]Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu:
Minimum-Violation Traffic Management for Urban Air Mobility. NFM 2021: 37-52 - 2020
- [c16]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:
Intelligent Contingency Management for Urban Air Mobility. DDDAS 2020: 22-26 - [c15]Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi:
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms. SysCon 2020: 1-7
2010 – 2019
- 2019
- [c14]Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu:
Traffic Management for Urban Air Mobility. NFM 2019: 71-87 - 2018
- [c13]Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford:
Formal Assurance for Cooperative Intelligent Autonomous Agents. NFM 2018: 20-36 - 2015
- [c12]Solomon Gebreyohannes, William W. Edmonson, Jules Chenou, Natasha A. Neogi, Albert C. Esterline:
Formal requirement management for the Responsive and Formal Design process. ISSE 2015: 364-369 - 2014
- [c11]Jules Chenou, William W. Edmonson, Albert C. Esterline, Natasha A. Neogi:
Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems. CSDM (Posters) 2014: 263-281 - [c10]William W. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana:
Small satellite systems design methodology: A formal and agile design process. SysCon 2014: 518-524 - 2012
- [c9]Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron:
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC 2012: 1816-1821 - [c8]Natasha A. Neogi, Heber Herencia-Zapana:
Modular Methods for Verification and Validation of Air Traffic Control Algorithms. Infotech@Aerospace 2012 - 2011
- [j2]Dimitri Harikiopoulo, Natasha A. Neogi:
Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport. IEEE Trans. Intell. Transp. Syst. 12(1): 2-14 (2011) - [c7]Luc Bojanowski, Dimitri Harikiopoulo, Natasha A. Neogi:
Multi-runway aircraft sequencing at congested airports. ACC 2011: 2752-2758
2000 – 2009
- 2009
- [c6]Daniel Uhlig, Negar Kiyavash, Natasha A. Neogi:
Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology. ACC 2009: 4956-4961 - 2008
- [c5]Natasha A. Neogi, Cédric Langbort:
Partitioning and the online-world design problem for multi-player games. ACC 2008: 1697-1702 - 2007
- [j1]Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi:
Failure-robust distributed controller architectures. Int. J. Control 80(9): 1367-1378 (2007) - [c4]Shengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi:
Distributed Control over Structured and Lossy Networks. ACC 2007: 772-777 - 2006
- [c3]Natasha A. Neogi, Asal Naseri:
Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict Resolution. SMC 2006: 3732-3737 - 2004
- [c2]Natasha A. Neogi:
Utilizing the structure of safety properties to aid in the verification of hybrid controllers. ACC 2004: 1214-1220 - [c1]Natasha A. Neogi:
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. HSCC 2004: 463-476
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-05 21:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint