Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control

Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit. Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Transactions on Robotics, 31(3):591-604, 2015. [doi]

Authors

Vasumathi Raman

This author has not been identified. Look up 'Vasumathi Raman' in Google

Nir Piterman

This author has not been identified. Look up 'Nir Piterman' in Google

Cameron Finucane

This author has not been identified. Look up 'Cameron Finucane' in Google

Hadas Kress-Gazit

This author has not been identified. Look up 'Hadas Kress-Gazit' in Google