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
Learning systems
Monitoring
Insulin
Simulated annealing

Mathematics

Temporal Logic
Specification
Hybrid Systems
Robustness
Metric
Stochastic Optimization
Simulink