Population Based Methods for Optimising Infinite Behaviours of Timed Automata.

Lewis Tolonen, Tim French, Mark Reynolds

Browse the full TIME paper archive.