Natasha Yogananda Jeppu

According to our database, Natasha Yogananda Jeppu authored at least 11 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Enhancing active model learning with equivalence checking using simulation relations.

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening

Formal Methods Syst. Des., December, 2022

Learning symbolic abstractions from system execution traces.

Natasha Yogananda Jeppu

PhD thesis, 2022

Active Learning of Abstract System Models from Traces using Model Checking.

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Active Learning of Abstract System Models from Traces using Model Checking [Extended].

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening

CoRR, 2021

Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally.

Ramakrishnan Raman, Natasha Yogananda Jeppu

Proceedings of the IEEE International Systems Conference, 2021

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System.

Ramakrishnan Raman, Natasha Yogananda Jeppu

Proceedings of the IEEE International Systems Conference, 2020

Learning Concise Models from Long Execution Traces.

Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

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

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

CoRR, 2019

2018

Extending Denoising AutoEncoders for Feature Recognition.

Natasha Yogananda Jeppu, K. Chandrasekaran

Proceedings of the 2018 International Conference on Advances in Computing, 2018