Nathanaël Fijalkow

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 …