Multi-Property Temporal Logic Monitoring
Arınç Demir, Doğan Ulus
Profile
About
A concise professional profile with enough human texture to make the work legible.
I am Arınç Demir, a computer engineering student at Boğaziçi University based in Istanbul, Turkey. I work closest to systems software, runtime verification, robotics research, embedded systems, and developer tooling.
My recent work includes a data-oriented temporal logic monitoring runtime, a social navigation research project at COLORSLAB, a Roslyn analyzer and VSIX tooling internship at TaleWorlds, and Windows/Active Directory automation work at Databin.
Mobil Robotlarda Sosyal Navigasyon Öğrenme / Learning Social Navigation in Mobile Robots
Berke Kartal, Arınç Demir, Erol Uğur, Y. Yıldırım, Zeynep Aktaş