Concepedia

Yunus Emre Sahin

YE

5

Publications

161

Citations

5

H-Index

2017

Active since

Affiliations

University of Michigan(Current)

Yunus Emre Sahin is an author at University of Michigan specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringPlanningCombinatorial OptimizationAutomationData Science

Publications per year

2017–2020

5

Publications

5

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving

Glen Chou, Yunus Emre Sahin, Liren Yang et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 49 citations · Full text

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming

Yunus Emre Sahin, Rien Quirynen, Stefano Di Cairano · 2020 · 39 citations

Engineering, Autonomous Vehicle Decision-making, Intelligent Systems +19

Provably-correct coordination of large collections of agents with counting temporal logic constraints

Yunus Emre Sahin, Petter Nilsson, Necmiye Özay · 2017 · 30 citations · Full text

Mathematical Programming, Artificial Intelligence, Applied Logic +22

Anomaly detection with Bayesian Gauss Background Model in hyperspectral images

Yunus Emre Sahin, Sertaç Arısoy, Koray Kayabol · 2018 · 24 citations

Anomaly Detection, Image Analysis, Data Science +11

Synchronous and asynchronous multi-agent coordination with cLTL+ constraints

Yunus Emre Sahin, Petter Nilsson, Necmiye Özay · 2017 · 19 citations

Engineering, Cltl+ Formula, Autonomous Agent System +18

Rows per page

1–5 of 5