Real-time navmesh editing with boolean ops. Can layer edits on top of the existing auto-generated navmesh. Used in-game for craters, bridges etc. (navmesh written from ground up in Unreal Engine).

80.LV even wrote an article about it: https://80.lv/articles/ue-based-real-time-navmesh-editing-with-boolean-operations/