Seminar 217, Risk Management: “Derivatives Pricing under Bilateral Counterparty Default Risk: Path-Independent Probabilistic Valuation"