Researcher profile

Nathanaël Fijalkow

1 paper in the PaperMetrix corpus

Publications

Papers by this author

LTL Learning on GPUs

2024 · Lecture notes in computer science

Abstract 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 first GPU-based LTL learner using a …