#### Filter Results:

- Full text PDF available (45)

#### Publication Year

2004

2017

- This year (13)
- Last 5 years (54)
- Last 10 years (83)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

S-TaLiRo is a Matlab toolbox that searches for falsifying trajectories of temporal logic properties of Simulink/Stateflow models. It can analyze arbitrary Simulink models or user defined functionsâ€¦ (More)

- Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas
- Automatica
- 2009

In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual controlâ€¦ (More)

- Georgios E. Fainekos, George J. Pappas
- Theor. Comput. Sci.
- 2009

In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL) formulas over signals that take values in metric spaces. For such signals, which are generated by systems whoseâ€¦ (More)

- Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
- Proceedings 2007 IEEE International Conference onâ€¦
- 2007

Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task specificationsâ€¦ (More)

- Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
- IEEE Transactions on Robotics
- 2009

This paper provides a framework <i>to automatically</i> generate a hybrid controller that <i>guarantees</i> that the robot can achieve its task when a robot model, a class of admissible environments,â€¦ (More)

- Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
- Proceedings of the 2005 IEEE Internationalâ€¦
- 2005

In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot specifications such asâ€¦ (More)

- Georgios E. Fainekos, George J. Pappas
- FATES/RV
- 2006

In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL)<lb>formulas over signals that take values in metric spaces. For such signals, which<lb>are generated by systemsâ€¦ (More)

Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its designâ€¦ (More)

- Houssam Abbas, Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
- ACM Trans. Embedded Comput. Syst.
- 2013

We present a Monte-Carlo optimization technique for finding system behaviors that falsify a metric temporal logic (MTL) property. Our approach performs a random walk over the space of system inputsâ€¦ (More)

- Houssam Abbas, Hans D. Mittelmann, Georgios E. Fainekos
- 2014 Twelfth ACM/IEEE Conference on Formalâ€¦
- 2014

In model-based design of cyber-physical systems, such as switched mixed-signal circuits or software-controlled physical systems, it is common to develop a sequence of system models of differentâ€¦ (More)