If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Georgios Fainekos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Temporal logic
Specifications
Hybrid systems
Motion planning
Robots
Testing
Controllers
Trajectories
Planning
Insulin
Simulated annealing
Monitoring
Learning systems

Mathematics

Temporal Logic
Specification
Hybrid Systems
Robustness
Metric
Stochastic Optimization
Simulink