A) Every model category has an associated $\infty$-category, obtained for example by taking the Dwyer-Kan localization at the class of all equivalence, though(But there are other constructionsmore explicit way to construct it). It is always complete and co-complete, and is presentable when the model category is combinatorial.
Moreover Quillen functors induces adjoint functor between the associated $\infty$-category, and a Quillen functor is a Quillen equivalence if and only if it induces an equivalence of $\infty$-category.
C) Given two combinatorial model categories, their associated $\infty$-category are equivalent if and only if the combinatorial category are connected by a zig-zag of Quillen equialence (In fact, a cospanspan of left Quillen functor is enough if I remember correctly).
D) The question of having a kind of model structure on the category of combinatorial model structure is open, or (or at least was until very recently, see F & F' below) and is listed as an open problem by Marc Hovey (both in his book on model categories and on his web page).
E) The question of what is the localization of the category of combinatorial model category at Quillen equivalences, and whether it is equivalent to the $\infty$-category of presentable $\infty$-category is also open. It has been discussed in the past on MO here and here, there are several interesting comment and answer on these questions that give partial result. There is also an nLab page on this questionproblem.
I gave a talk at CT2019, where I claimed to construct three differentdifferents "right semi $2$-model structures" on the category of presentable categories endowed with two compatible combinatorial weak factorization systemsystems, whose fibrant objects are respectively the "weak model structure"structures", "the left semi-model structure" and the "left semi-model structure where every object is fibrant" and in each case the equivalences between fibrant objects are the Quillen equivalenceequivalences.
F') I need to mention that Reid Barton has also developed very similar construction (completely independently, and possibly before mine) in his PhD thesis: His work do not cover everything I've mentioned before, and in particular do not say anything toward (E), but compare to mine has the big advantages of being already written (I do not know if it is already freely available though). His work construct the enriched version of what I call the "W" model structure in my slides, which is one of the three I've mentioned above, and show that it is actually a Quillen model structure (which is not true in the non-enriched case).
I think very little is known here. One thing one can do is to apply the version of Karol Szumilo's theorem depending on a cardinal $\kappa$, with $\kappa$ being the cardinal of a Grothendieck universes. This gives that (in the sense of this universe) co-complete large $\infty$-categories (non locally small) are equivalent to large cofibrations category (withwith colimits of small chains of cofibrations).
I expect one can put back local smallness conditions by hand, to get an equivalence between locally small cocomplete categories and a special type of cofibration category, but I do not know of any resultsresult that cover the case of categories that are both complete & co-complete, not even of the kind of (B) and (C) above.
AsAlso, as far as I know it is not know known either what are the $\infty$-categories that can be represented by model categories in general.
