Ebru Aydin Gol

Identifiers

• name variant Ebru Aydin Gol 0.60 · backfill

Papers (5)

1. An Efficient Formula Synthesis Method with Past Signal Temporal Logic cs.LO · 2019 · author #2
2. A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems cs.AI · 2014 · author #1
3. Traffic Network Control from Temporal Logic Specifications cs.SY · 2014 · author #2
4. Finite Bisimulations for Switched Linear Systems math.DS · 2012 · author #1
5. Time-Constrained Temporal Logic Control of Multi-Affine Systems cs.SY · 2012 · author #1

Mentions

• 1409.5671 #1 · backfill · confidence 0.70 Ebru Aydin Gol
• 1408.1437 #2 · backfill · confidence 0.70 Ebru Aydin Gol
• 1208.5471 #1 · backfill · confidence 0.70 Ebru Aydin Gol
• 1203.5683 #1 · backfill · confidence 0.70 Ebru Aydin Gol

Frequent Coauthors

• Calin Belta 4 shared papers
• Ezio Bartocci 1 shared papers
• Mert Ergurtuna 1 shared papers
• Mircea Lazar 1 shared papers
• Murat Arcak 1 shared papers
• Samuel Coogan 1 shared papers
• Xuchu Ding 1 shared papers