WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving. - Yunus Emre Sahin; Necmiye Ozay (ICCPS, 2016)

SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks. - Yunus Emre Sahin; Necmiye Ozay (CoRR, 2016)

Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. - Yunus Emre Sahin; Petter Nilsson; Necmiye Ozay (CDC, 2017)

Provably-correct coordination of large collections of agents with counting temporal logic constraints. - Yunus Emre Sahin; Petter Nilsson; Necmiye Ozay (ICCPS, 2017)

Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. - Yunus Emre Sahin; Necmiye Ozay; Stavros Tripakis (DARS, 2018)

Anomaly detection with Bayesian Gauss Background Model in hyperspectral images. - Yunus Emre Sahin; Sertac Arisoy; Koray Kayabol (SIU, 2018)

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. - Glen Chou; Yunus Emre Sahin; Liren Yang; Kwesi J. Rutledge; Petter Nilsson; Necmiye Ozay (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Intention-Aware Supervisory Control with Driving Safety Applications. - Yunus Emre Sahin; Zexiang Liu; Kwesi J. Rutledge; Dimitra Panagou; Sze Zheng Yong; Necmiye Ozay (CCTA, 2019)

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming. - Yunus Emre Sahin; Rien Quirynen; Stefano Di Cairano (ACC, 2020)

From Drinking Philosophers to Wandering Robots. - Yunus Emre Sahin; Necmiye Ozay (CoRR, 2020)

Multirobot Coordination With Counting Temporal Logics. - Yunus Emre Sahin; Petter Nilsson; Necmiye Ozay (IEEE Trans. Robotics, 2020)

From drinking philosophers to asynchronous path-following robots. - Yunus Emre Sahin; Necmiye Ozay (Autom., 2023)