Publications

Export 11 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is C  [Clear All Filters]
2018
H. Kress-Gazit and Torfah, H., The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 2018.
2012
G. Jing, Finucane, C., Raman, V., and Kress-Gazit, H., Correct High-level Robot Control from Structured English, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
2010
J. M. Allbeck and Kress-Gazit, H., Constraints-based complex behavior in rich environments, in Proceedings of the 10th international conference on Intelligent virtual agents, Berlin, Heidelberg, 2010, pp. 1–14.