Enhancing active model learning with equivalence checking using simulation relations von Yogananda Jeppu, Natasha, Melham, Tom, Kroening, Daniel

Volltext

Symbolic Task Inference in Deep Reinforcement Learning von Hasanbeig, Hosein, Jeppu, Natasha Yogananda, Abate, Alessandro, Melham, Tom, Kroening, Daniel

Volltext

Active Learning Implementation von Yogananda Jeppu, Natasha

Volltext bestellen

Active Learning of Abstract System Models from Traces using Model Checking [Extended] von Jeppu, Natasha Yogananda, Melham, Tom, Kroening, Daniel

Volltext bestellen

Learning Concise Models from Long Execution Traces von Jeppu, Natasha Yogananda, Melham, Tom, Kroening, Daniel, O'Leary, John

Volltext bestellen

Active Learning of Abstract System Models from Traces using Model Checking [Extended] von Jeppu, Natasha Yogananda, Melham, Tom, Kroening, Daniel

Volltext

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning von Hasanbeig, Mohammadhosein, Jeppu, Natasha Yogananda, Abate, Alessandro, Melham, Tom, Kroening, Daniel

Volltext bestellen

Learning Concise Models from Long Execution Traces von Jeppu, Natasha Yogananda, Melham, Tom, Kroening, Daniel, O'Leary, John

Volltext

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning von Hasanbeig, Mohammadhosein, Jeppu, Natasha Yogananda, Abate, Alessandro, Melham, Tom, Kroening, Daniel

Volltext

Arguing Formally About Flight Control Laws Using SLDV and NuSMV von Jeppu, Natasha, Jeppu, Yogananda

Volltext