Cited By
View all- Błądek IKrawiec KAuger AStützle T(2019)Solving symbolic regression problems with formal constraintsProceedings of the Genetic and Evolutionary Computation Conference10.1145/3321707.3321743(977-984)Online publication date: 13-Jul-2019
- Husien IBerthier NSchewe SErdogmus HHavelund K(2017)A hot method for synthesising cool controllersProceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software10.1145/3092282.3092299(122-131)Online publication date: 13-Jul-2017
- Krawiec KBłądek ISwan JBosman P(2017)Counterexample-driven genetic programmingProceedings of the Genetic and Evolutionary Computation Conference10.1145/3071178.3071224(953-960)Online publication date: 1-Jul-2017
- Show More Cited By