Ebru Aydin Gol

Available identifiers

zbMath Open aydin-gol.ebruMaRDI QIDQ889005

List of research outcomes

Publication	Date of Publication	Type
Cycle encoding-based parameter synthesis for timed automata safety	2024-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q5101345	2022-08-30	Paper
An automated system repair framework with signal temporal logic	2022-05-17	Paper
Timed automata relaxation for reachability	2021-08-04	Paper
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks	2018-12-19	Paper
Traffic Network Control From Temporal Logic Specifications	2017-09-21	Paper
Formal methods for discrete-time dynamical systems	2017-07-31	Paper
Finite Bisimulations for Switched Linear Systems	2017-05-16	Paper
Language-guided controller synthesis for discrete-time linear systems	2017-05-16	Paper
Language-Guided Controller Synthesis for Linear Systems	2017-05-16	Paper
Temporal logic model predictive control for discrete-time systems	2017-05-16	Paper
Temporal logic inference for classification and prediction from data	2017-05-16	Paper
Temporal logic model predictive control	2015-11-05	Paper
Time-constrained temporal logic control of multi-affine systems	2014-07-24	Paper

Research outcomes over time

This page was built for person: Ebru Aydin Gol