This page is an accompaniment to the paper *Skylines for Symbolic Energy Consumption Analysis*. Below we present a number of SECA programs along with their skylines. An extended version of the paper and the implementation of the tool are also available.
## Line Follower Robot
A somewhat larger example, implementing a line follower robot.
