Natasha Yogananda Jeppu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Alessandro Abate
52 publications
Daniel Kroening
36 publications
Mohammadhosein Hasanbeig
12 publications
Tom Melham
12 publications
John O'Leary
8 publications

research

∙ 12/11/2021

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

We present a new active model-learning approach to generating abstractio...

0 Natasha Yogananda Jeppu, et al. ∙

research

∙ 01/15/2020

Learning Concise Models from Long Execution Traces

Abstract models of system-level behaviour have applications in design ex...

0 Natasha Yogananda Jeppu, et al. ∙

research

∙ 11/22/2019

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

We propose a method for effective training of deep Reinforcement Learnin...

0 Mohammadhosein Hasanbeig, et al. ∙

research

∙ 11/22/2019

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

We propose a method for efficient training of deep Reinforcement Learnin...

0 Mohammadhosein Hasanbeig, et al. ∙