52 citations · 65 across the 11 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021★ 6 cited
Timed Automata Robustness Analysis via Model Checking
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol +1
Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whet…
cs.LO2019
An Efficient Formula Synthesis Method with Past Signal Temporal Logic
Mert Ergurtuna, Ebru Aydin Gol
In this work, we propose a novel method to find temporal properties that lead to the unexpected behaviors from labeled dataset. We express these properties in past time Signal Temp…
cs.LO2019
Cause Mining and Controller Synthesis with STL
Irmak Saglam, Ebru Aydin Gol
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the forma…