New article: Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control
Article: Raman, V; Piterman, N; Finucane, C; Kress-Gazit, H; (2015) “Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control”, IEEE Transactions on Robotics, 31 (3):591-604 DOI Abstract: The use of formal methods ...
Read More