Lewis Tolonen

According to our database, Lewis Tolonen authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Population Based Methods for Optimising Infinite Behaviours of Timed Automata.

Lewis Tolonen, Tim French, Mark Reynolds

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018