Open-world Mission Specification for Reactive Robots Paper submission to ICRA 2014. Accepted for publication. Available on IEEE XPlore in HTML and PDF format.