Georgios E. Fainekos

	2012
21		Sriram Sankaranarayanan, Georgios E. Fainekos: Falsification of temporal properties of hybrid systems using the cross-entropy method. HSCC 2012: 125-134
	2011
20		Houssam Abbas, Georgios E. Fainekos: Linear Hybrid System Falsification through Local Search. ATVA 2011: 503-510
19		Georgios E. Fainekos: Revising temporal logic specifications for motion planning. ICRA 2011: 40-45
18		Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos: Combining Time and Frequency Domain Specifications for Periodic Signals. RV 2011: 294-309
17		Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS 2011: 254-257
16		Houssam Abbas, Georgios E. Fainekos: Linear Hybrid System Falsification Through Descent CoRR abs/1105.1733: (2011)
15		Georgios E. Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan: Foreword. Mathematics in Computer Science 5(4): 357-358 (2011)
	2010
14		Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220
	2009
13		Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Robustness of Model-Based Simulations. IEEE Real-Time Systems Symposium 2009: 345-354
12		Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
11		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)
10		Georgios E. Fainekos, George J. Pappas: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42): 4262-4291 (2009)
	2008
9		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Translating Structured English to Robot Controllers. Advanced Robotics 22(12): 1343-1359 (2008)
	2007
8		Georgios E. Fainekos, George J. Pappas: Robust Sampling for MITL Specifications. FORMATS 2007: 147-162
7		Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
6		A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
5		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121
4		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: From structured english to robot motion. IROS 2007: 2717-2722
	2006
3		Georgios E. Fainekos, George J. Pappas: Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192
2		Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
	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	Houssam Abbas	[16] [20]
2	Madhukar Anand	[6]
3	Yashwanth Annpureddy	[17]
4	Aleksandar Chakarov	[18]
5	Antoine Girard	[2] [7] [12]
6	Eric Goubault	[15]
7	Aarti Gupta	[13] [14]
8	Franjo Ivancic	[13] [14]
9	A. Agung Julius	[6]
10	Hadas Kress-Gazit	[1] [4] [5] [9] [11] [12]
11	Insup Lee	[6]
12	Che Liu	[17]
13	Truong Nghiem	[14]
14	George J. Pappas	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
15	Sylvie Putot	[15]
16	Stefan Ratschan	[15]
17	Sriram Sankaranarayanan	[13] [14] [17] [18] [21]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page