Publications

Papers

• Gregor Behnke, Malvin Gattinger, Avijeet Ghosh, Haitian Wang: Comparing State-Representations for DEL Model Checking, In: TARK 2025, To appear.
• Haitian Wang: Formalizing the Dershowitz-Manna Ordering Theorem in Lean 4, In: ESSLLI 2025, To appear.

Formalizations

• Haitian Wang: Dershowitz-Manna Ordering, Merged into mathlib in January 2025. Link.