3 citations · 3 across the 1 of their papers we have counts for
1 paper
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic. It is based on an abstraction-refine…