Most of our theoretical work uses QEngine or Composer in some way.
Adiabatic merging control:
Time-optimal merging control:
Time-optimal full gate control:
