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...
share
research
∙
01/15/2020
Learning Concise Models from Long Execution Traces
Abstract models of system-level behaviour have applications in design ex...
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...
research
∙
11/22/2019