Publications

Export 65 results:
Author Keyword Title [ Type(Desc)] Year
Journal Article
H. Kress-Gazit, Conner, D. C., Choset, H., Rizzi, A. A., and Pappas, G. J., Courteous cars: Decentralized multi-agent traffic coordination, Robotics and Automation Magazine, vol. 15, pp. 30-38, 2008.
B. Johnson, Havlak, F., Kress-Gazit, H., and Campbell, M., Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle, Journal of Field Robotics, 2017.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
M. Lahijanian, Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H., and Vardi, M., Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees, IEEE Transactions on Robotics, vol. 32, pp. 583-599, 2016.
B. Johnson and Kress-Gazit, H., Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error, Autonomous Robots, vol. 33, pp. 309-321, 2012.
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., Provably Correct Reactive Control from Natural Language, Auton. Robots, vol. 38, pp. 89–105, 2015.
J. A. DeCastro and Kress-Gazit, H., Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors, I. J. Robotic Res., vol. 34, pp. 378–394, 2015.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Temporal Logic based Reactive Mission and Motion Planning, IEEE Transactions on Robotics, vol. 25, pp. 1370–1381, 2009.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for dynamic robots, Automatica, vol. 45, pp. 343 - 352, 2009.
V. Raman, Piterman, N., Finucane, C., and Kress-Gazit, H., Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control, IEEE Transactions on Robotics, vol. 31, pp. 591–604, 2015.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Translating Structured English to Robot Controllers, Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, pp. 1343-1359, 2008.

Pages