11 citations · 11 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 1 cited
LTL learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
Linear temporal logic (LTL) is widely used in industrial verification. LTL formulae can be learned from traces. Scaling LTL formula learning is an open problem. We implement the fi…
cs.PL2023★ 11 cited
Search-Based Regular Expression Inference on a GPU
Mojtaba Valizadeh, Martin Berger
Regular expression inference (REI) is a supervised machine learning and program synthesis problem that takes a cost metric for regular expressions, and positive and negative exampl…