Abstract: This paper presents a novel optimization formulation to solve the problem of variable speed limit control on road networks modeled by the Lighthill-Whitham-Richards (LWR) partial ...

Might be related to #657 "Distinguish not yet initialized objects" Consider the variable 'location' in the following example: public class LinearSearch { //@ requires ...