Mining signal temporal logic specifications for hybrid systems.

Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli

Browse the full FDL paper archive.