E
Ebru Aydin Gol
Researcher at Middle East Technical University
Publications - 55
Citations - 904
Ebru Aydin Gol is an academic researcher from Middle East Technical University. The author has contributed to research in topics: Linear temporal logic & Temporal logic. The author has an hindex of 14, co-authored 53 publications receiving 741 citations. Previous affiliations of Ebru Aydin Gol include Microsoft & Boston University.
Papers
More filters
Proceedings ArticleDOI
Temporal logic inference for classification and prediction from data
TL;DR: An inference algorithm that can discover temporal logic properties of a system from data using a fragment of parameter signal temporal logic (PSTL) that is expressive enough to capture causal, spatial, and temporal relationships in data.
Journal ArticleDOI
Traffic Network Control From Temporal Logic Specifications
TL;DR: A correct-by-construction controller is obtained that is guaranteed to satisfy complex specifications using techniques from model checking and formal methods and structural properties particular to traffic networks that allow for efficient computation of a finite-state abstraction.
Journal ArticleDOI
Traffic Network Control from Temporal Logic Specifications
TL;DR: In this paper, the authors propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic, by applying techniques from model checking and formal methods.
Journal ArticleDOI
Language-Guided Controller Synthesis for Linear Systems
TL;DR: A systematic procedure is developed for the automatic computation of sets of initial states and feedback controllers such that all the resulting trajectories of the closed-loop system satisfy the given specifications.