Probabilistic equivalence checking based on high-level decision diagrams.

Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik

Browse the full DDECS paper archive.