A scalable anytime algorithm for learning fragments of linear temporal logic

Formal Methods in System Design 2026

View at publisher

Authors: Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

DOI: 10.1007/s10703-025-00489-y

Cited by: 0

References: 54

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Machine Learning and Algorithms

References 54