Parametric Verification of Weighted Systems. - Peter Christoffersen; Mikkel Hansen; Anders Mariegaard; Julian Trier Ringsmose; Kim Guldstrand Larsen; Radu Mardare (SynCoP, 2015)

Rare Disasters, Credit, and Option Market Puzzles. - Peter Christoffersen; Du Du; Redouane Elkamhi (Manag. Sci., 2017)