Natasha A. Neogi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous OperationsParth Ganeriwala, Siddhartha Bhattacharyya, Sean Gunther, Brian Kish, Mohammed Abdul Hafeez Khan, Ankur Dhadoti, Natasha A. Neogi. icmla 2023: 1094-1099 [doi]

2021

2020

2018

Formal Assurance for Cooperative Intelligent Autonomous AgentsSiddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford. NFM 2018: 20-36 [doi]

2015

Formal requirement management for the Responsive and Formal Design processSolomon Gebreyohannes, William W. Edmonson, Jules Chenou, Natasha A. Neogi, Albert C. Esterline. isse2 2015: 364-369 [doi]

2014

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite SystemsJules Chenou, William Edmonson, Albert C. Esterline, Natasha A. Neogi. csdm 2014: 263-281 [doi]

Small satellite systems design methodology: A formal and agile design processWilliam E. Edmonson, Jules Chenou, Natasha A. Neogi, Heber Herencia-Zapana. syscon 2014: 518-524 [doi]

2012

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systemsRomain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron. cdc 2012: 1816-1821 [doi]

Modular Methods for Verification and Validation of Air Traffic Control AlgorithmsNatasha A. Neogi, Heber Herencia-Zapana. itaero 2012: [doi]

2011

Multi-runway aircraft sequencing at congested airportsLuc Bojanowski, Dimitri Harikiopoulo, Natasha A. Neogi. amcc 2011: 2752-2758 [doi]

Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway AirportDimitri Harikiopoulo, Natasha A. Neogi. tits, 12(1):2-14, 2011. [doi]

2008

Partitioning and the online-world design problem for multi-player gamesNatasha A. Neogi, Cédric Langbort. amcc 2008: 1697-1702 [doi]

2007

Distributed Control over Structured and Lossy NetworksShengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi. amcc 2007: 772-777 [doi]

Failure-robust distributed controller architecturesShengxiang Jiang, Petros G. Voulgaris, Natasha A. Neogi. ijcon, 80(9):1367-1378, 2007. [doi]

2006

Using Hidden Markov Models to Detect Mode Changes in Aircraft Flight Data for Conflict ResolutionNatasha A. Neogi, Asal Naseri. SMC 2006: 3732-3737 [doi]

2004

Utilizing the structure of safety properties to aid in the verification of hybrid controllersNatasha A. Neogi. amcc 2004: 1214-1220 [doi]

Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and AnalysisNatasha A. Neogi. hybrid 2004: 463-476 [doi]

Sign in or sign up to see more results.

runs on WebDSL