Active Learning Implementation by Yogananda Jeppu, N

Active Learning Benchmarks by Yogananda Jeppu, N

Learning symbolic abstractions from system execution traces by Yogananda Jeppu, N

Active learning of abstract system models from traces using model checking by Yogananda Jeppu, N, Melham, T, Kroening, D

Enhancing active model learning with equivalence checking using simulation relations by Yogananda Jeppu, N, Melham, T, Kroening, D

Longitudinal Trim and Stability Analysis of Generic Air- Breathing Hypersonic Vehicle using Bifurcation Method by Ritesh SINGH, Om PRAKASH, Sudhir JOSHI, Yogananda JEPPU

Get full text

Learning concise models from long execution traces by Yogananda Jeppu, N, Melham, T, Kroening, D, O'Leary, J

DeepSynth: Automata synthesis for automatic task segmentation in deep reinforcement learning by Hasanbeig, M, Yogananda Jeppu, N, Abate, A, Melham, TF, Kroening, D