Formal specifications play an essential role in the life-cycle of modern systems, both at time their design and during operation. Despite importance, formal are only partially (if all) available. Specification mining is process learning likely system properties from observation its behavior interaction with environment. Signal temporal logic (STL) a popular formalism for expressing cyber-physic...