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

Raman, V.; Piterman, N.; Finucane, C.; Kress-Gazit, H.

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

@Article{RPFK15,
  author = 	 {V. Raman and N. Piterman and C. Finucane and H. Kress-Gazit},
  title        = {Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control},
  journal      = {IEEE Transactions on Robotics},
  year         = {2015},
  OPTvolume = 	 {},
  OPTpages = {8190},
  pdf = {2015/RPFK14.pdf},
  OPTurl = {},
  keywords = {Games,Synthesis},
}