2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Daniel Ciolek, Victor Braberman, Nicolás D'Ippolito +1
This paper presents a Directed Controller Synthesis (DCS) technique for discrete event systems. The DCS method explores the solution space for reactive controllers guided by a doma…