49 citations · 49 across the 2 of their papers we have counts for
4 papers
From Drinking Philosophers to Asynchronous Path-Following Robots
Yunus Emre Sahin, Necmiye Ozay
In this paper, we consider the multi-robot path execution problem where a group of robots move on predefined paths from their initial to target positions while avoiding collisions…
Multirobot Coordination with Counting Temporal Logics
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
In many multirobot applications, planning trajectories in a way to guarantee that the collective behavior of the robots satisfies a certain high-level specification is crucial. Mot…
Using control synthesis to generate corner cases: A case study on autonomous driving
Glen Chou, Yunus E. Sahin, Liren Yang +3
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to co…
SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks
Yunus Emre Sahin, Necmiye Ozay
This paper considers the synthesis of distributed reactive control protocols for a Boolean network in a distributed manner. We start with a directed acyclic graph representing a ne…