The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
High-fidelity simulations with intuitive user interfaces expedite real-world tasks. Augmented Reality (AR), enables 3D computer-generated entities to coexist in users' view o...
Seungjun Kim, Nitaigour-Premchand Mahalik, Anind K...