Natasha Yogananda Jeppu

14 papers A* 3A 1Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint). AAAI Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2024	J	`jnl`	Symbolic Task Inference in Deep Reinforcement Learning. J. Artif. Intell. Res. Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2022	A	`conf`	Active Learning of Abstract System Models from Traces using Model Checking. DATE Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
2022	J	`jnl`	Enhancing active model learning with equivalence checking using simulation relations. Formal Methods Syst. Des. Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
2022	—	`—`	Learning symbolic abstractions from system execution traces. Natasha Yogananda Jeppu
2021	J	`jnl`	Active Learning of Abstract System Models from Traces using Model Checking [Extended]. CoRR Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
2021	A*	`conf`	DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2021	—	`conf`	Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally. SysCon Ramakrishnan Raman, Natasha Yogananda Jeppu
2020	—	`conf`	Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System. SysCon Ramakrishnan Raman, Natasha Yogananda Jeppu
2020	A*	`conf`	Learning Concise Models from Long Execution Traces. DAC Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary
2020	J	`jnl`	Learning Concise Models from Long Execution Traces. CoRR Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening, John O'Leary
2019	J	`jnl`	CoCoA++: Delay gradient based congestion control for Internet of Things. Future Gener. Comput. Syst. Vishal Rathod, Natasha Yogananda Jeppu, Samanvita Sastry, Shruti Singala, Mohit P. Tahiliani
2019	J	`jnl`	DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. CoRR Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2018	—	`conf`	Extending Denoising AutoEncoders for Feature Recognition. ICACCI Natasha Yogananda Jeppu, K. Chandrasekaran