Population Based Methods for Optimising Infinite Behaviours of Timed Automata. - Lewis Tolonen; Tim French 002; Mark Reynolds 001 (TIME, 2018)