Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider · The Journal of Open Source Software · 2024
In the past decade, incorporating data-driven AI techniques in system design has become mainstream in almost all branches of science and technology.Typically, systems powered by AI tend to be rather complex, far beyond human understanding.Naturally, one cannot always develop trust in such complex, so-called black-box systems, restricting their widespread use in safety-critical domains.