Natasha Yogananda Jeppu

Orcid: 0000-0002-3676-1843

According to our database1, Natasha Yogananda Jeppu authored at least 12 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Symbolic Task Inference in Deep Reinforcement Learning.
J. Artif. Intell. Res., 2024

2022
Enhancing active model learning with equivalence checking using simulation relations.
Formal Methods Syst. Des., December, 2022

Learning symbolic abstractions from system execution traces.
PhD thesis, 2022

Active Learning of Abstract System Models from Traces using Model Checking.
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].
CoRR, 2021

Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally.
Proceedings of the IEEE International Systems Conference, 2021

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
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.
Proceedings of the IEEE International Systems Conference, 2020

Learning Concise Models from Long Execution Traces.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
CoCoA++: Delay gradient based congestion control for Internet of Things.
Future Gener. Comput. Syst., 2019

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

2018
Extending Denoising AutoEncoders for Feature Recognition.
Proceedings of the 2018 International Conference on Advances in Computing, 2018


  Loading...