In equivariant rational homotopy theory the existence of minimal models (i.e. the equivariant generalization of minimal Sullivan models) has been established by Triantafillou (jstor:1999119) and Scull (doi:10.1090/S0002-9947-01-02790-8, doi:10.1090/S0002-9947-07-04421-2), at least for finite equivariance groups and for fixed locus-wise simply connected $G$-spaces (and of rational finite type, of course).
Has anyone worked out the proof for the more general existence of relative minimal models in equivariant RHT?
I have checked with the above authors, and the answer seems to be No, but just thought I'd check here, in case anyone has the proof in their drawer.
