Extending Denoising AutoEncoders for Feature Recognition. - Natasha Yogananda Jeppu; K. Chandrasekaran 001 (ICACCI, 2018)

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. - Mohammadhosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (CoRR, 2019)

CoCoA++: Delay gradient based congestion control for Internet of Things. - Vishal Rathod; Natasha Yogananda Jeppu; Samanvita Sastry; Shruti Singala; Mohit P. Tahiliani (Future Gener. Comput. Syst., 2019)

Learning Concise Models from Long Execution Traces. - Natasha Yogananda Jeppu; Thomas F. Melham; Daniel Kroening; John O'Leary (DAC, 2020)

Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System. - Ramakrishnan Raman 002; Natasha Yogananda Jeppu (SysCon, 2020)

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. - Mohammadhosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (AAAI, 2021)

Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally. - Ramakrishnan Raman 002; Natasha Yogananda Jeppu (SysCon, 2021)

Active Learning of Abstract System Models from Traces using Model Checking [Extended]. - Natasha Yogananda Jeppu; Tom Melham; Daniel Kroening (CoRR, 2021)

Active Learning of Abstract System Models from Traces using Model Checking. - Natasha Yogananda Jeppu; Tom Melham; Daniel Kroening (DATE, 2022)

Learning symbolic abstractions from system execution traces. - Natasha Yogananda Jeppu (2022)

Enhancing active model learning with equivalence checking using simulation relations. - Natasha Yogananda Jeppu; Tom Melham; Daniel Kroening (Formal Methods Syst. Des., 2022)

Symbolic Task Inference in Deep Reinforcement Learning. - Hosein Hasanbeig; Natasha Yogananda Jeppu; Alessandro Abate; Tom Melham; Daniel Kroening (J. Artif. Intell. Res., 2024)