Dualizing Projected Model CountingRiSE workshop at the 12th Alpine Verification Meeting (AVM 2018), Wagrain, 26 September, 2018 [ slides ]