[%brief%]
Enhanced interaction between the virtual and physical worlds
System for continuously controlling quadrotor drone behavior using Signal Temporal Logic (STL) as the mission specification language