Search Results for author:
Found 2 papers, 0 papers with code
Safety Synthesis Sans Specification
We define the problem of learning a transducer ${S}$ from a target language $U$ containing possibly conflicting transducers, using membership queries and conjecture queries.
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Therefore, there is considerable interest in learning such hybrid behavior by means of machine learning which requires sufficient and representative training data covering the behavior of the physical system adequately.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
