Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference - GECCO Companion ’15
Anatoly Shalyto
Daniil Chivilikhin
Inferring and Obeying Norms in Temporal Logic