The ST correspondence for proper non-positive dg algebras

Let $A$ be a proper non-positive dg algebra over a field $k$. For a simple-minded collection of the finite-dimensional derived category $\mathcal{D}_{fd}(A)$, we construct a 'dual' silting object of the perfect derived category $\mathrm{per}(A)$ by using the Koszul duality for dg algebras. This induces a one-to-one correspondence between the equivalence classes of silting objects in $\mathrm{per}(A)$ and algebraic t-structures of $\mathcal{D}_{fd}(A)$.