Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.

Stefan Haar, Juraj Kolck, Loc Paulev

Browse the full VMCAI paper archive.