Learning-Based Compositional Parameter Synthesis for Event-Recording Automata

É. André,Shang-Wei Lin
DOI: https://doi.org/10.1007/978-3-319-60225-7_2
2017-06-19
Abstract:
What problem does this paper attempt to address?