activity
20192022
most citedLearning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2020

Safety Synthesis Sans Specification

Roderick Bloem, Hana Chockler, Masoud Ebrahimi +2

We define the problem of learning a transducer from a target language containing possibly conflicting transducers, using membership queries and conjecture queries. The re…