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
Ilya Ivanov
Inferring and Obeying Norms in Temporal Logic