The following pages link to Ebru Aydin Gol (Q889005):
Displaying 14 items.
- Temporal logic model predictive control (Q889006) (← links)
- Formal methods for discrete-time dynamical systems (Q2012356) (← links)
- Timed automata relaxation for reachability (Q2044206) (← links)
- An automated system repair framework with signal temporal logic (Q2139184) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Finite Bisimulations for Switched Linear Systems (Q2982914) (← links)
- Language-Guided Controller Synthesis for Linear Systems (Q2983163) (← links)
- Language-guided controller synthesis for discrete-time linear systems (Q2986756) (← links)
- Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)
- Temporal logic inference for classification and prediction from data (Q2986980) (← links)
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks (Q4562351) (← links)
- (Q5101345) (← links)
- Traffic Network Control From Temporal Logic Specifications (Q5358494) (← links)
- Cycle encoding-based parameter synthesis for timed automata safety (Q6634505) (← links)
