11 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
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…