3 citations · 5 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021★ 1 cited
Adapting Behaviors via Reactive Synthesis
Gal Amram, Suguman Bansal, Dror Fried +3
In the \emph{Adapter Design Pattern}, a programmer implements a \emph{Target} interface by constructing an \emph{Adapter} that accesses an existing \emph{Adaptee} code. In this wor…
cs.DM2021★ 1 cited
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence
Gal Amram, Amir Rubin, Gera Weiss
We propose a novel construction for the well-known prefer-max De Bruijn sequence, based on the cycle joining technique. We further show that the construction implies known results…