Learning by sampling: learning behavioral family models from software product lines Journal Article
In: Empirical Software Engineering, 26 (4), 2021.
In: Autonomous Agents and Multi Agent Systems, 35 (8), 2021.
Reactive Synthesis with Spectra: A Tutorial Inproceedings
In: 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, pp. 320–321, IEEE, 2021.