Hadas Kress-Gazit

	2012
16		Daniel J. Brooks, Constantine Lignos, Mikhail S. Medvedev, Ian Perera, Cameron Finucane, Vasumathi Raman, Abraham Shultz, Sean McSheehy, Adam Norton, Hadas Kress-Gazit, Mitchell P. Marcus, Holly A. Yanco: Situation understanding bot through language and environment. HRI 2012: 419-420
	2011
15		Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit: Designing Reactive Robot Controllers with LTLMoP. Automated Action Planning for Autonomous Mobile Robots 2011
14		Vasumathi Raman, Hadas Kress-Gazit: Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. CAV 2011: 663-668
13		Sebastian Castro, Sarah Koehler, Hadas Kress-Gazit: High-level control of modular robots. IROS 2011: 3120-3125
12		Benjamin Johnson, Hadas Kress-Gazit: Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error. Robotics: Science and Systems 2011
11		Hadas Kress-Gazit: Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]. IEEE Robot. Automat. Mag. 18(4): 108-109 (2011)
	2010
10		Hadas Kress-Gazit, George J. Pappas: Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA 2010: 3215-3220
9		Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit: LTLMoP: Experimenting with language, Temporal Logic and robot control. IROS 2010: 1988-1993
8		Jan M. Allbeck, Hadas Kress-Gazit: Constraints-Based Complex Behavior in Rich Environments. IVA 2010: 1-14
	2009
7		Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
6		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Transactions on Robotics 25(6): 1370-1381 (2009)
	2008
5		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Translating Structured English to Robot Controllers. Advanced Robotics 22(12): 1343-1359 (2008)
	2007
4		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121
3		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: From structured english to robot motion. IROS 2007: 2717-2722
2		David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas: Valet parking without a valet. IROS 2007: 572-577
	2005
1		Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas: Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025

Coauthor Index

1	Jan M. Allbeck	[8]
2	Daniel J. Brooks	[16]
3	Sebastian Castro	[13]
4	Howie Choset	[2]
5	David C. Conner	[2]
6	Georgios E. Fainekos	[1] [3] [4] [5] [6] [7]
7	Cameron Finucane	[9] [15] [16]
8	Antoine Girard	[7]
9	Gangyuan Jing	[9] [15]
10	Benjamin Johnson	[12]
11	Sarah Koehler	[13]
12	Constantine Lignos	[16]
13	Mitchell P. Marcus	[16]
14	Sean McSheehy	[16]
15	Mikhail S. Medvedev	[16]
16	Adam Norton	[16]
17	George J. Pappas	[1] [2] [3] [4] [5] [6] [7] [10]
18	Ian Perera	[16]
19	Vasumathi Raman	[14] [16]
20	Alfred A. Rizzi	[2]
21	Abraham Shultz	[16]
22	Holly A. Yanco	[16]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page