Ergurtuna, M. And AYDIN GÖL, E. 2019. An Efficient Formula Synthesis Method with Past Signal Temporal Logic. 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS) , (Belfast, United Kingdom), 43-48.

Ergurtuna, M., & AYDIN GÖL, E., (2019). An Efficient Formula Synthesis Method with Past Signal Temporal Logic . 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS) (pp.43-48). Belfast, United Kingdom

Ergurtuna, Mert, And EBRU AYDIN GÖL. "An Efficient Formula Synthesis Method with Past Signal Temporal Logic," 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), Belfast, United Kingdom, 2019

Ergurtuna, Mert And AYDIN GÖL, EBRU A. . "An Efficient Formula Synthesis Method with Past Signal Temporal Logic." 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS) , Belfast, United Kingdom, pp.43-48, 2019

Ergurtuna, M. And AYDIN GÖL, E. (2019) . "An Efficient Formula Synthesis Method with Past Signal Temporal Logic." 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS) , Belfast, United Kingdom, pp.43-48.

@conferencepaper{conferencepaper, author={Mert Ergurtuna And author={EBRU AYDIN GÖL}, title={An Efficient Formula Synthesis Method with Past Signal Temporal Logic}, congress name={5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS)}, city={Belfast}, country={United Kingdom}, year={2019}, pages={43-48} }