Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types. - Serra Z. Dane; Jiawei Chen 013; Marc Pouzet; Jean-Baptiste Jeannin (NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings, 2026)

Automatic Certification of the Active Corner Method for Collision Avoidance. - Nishant Kheterpal; J. Tanner Slagel; Elanor Tang; Serra Z. Dane; Jean-Baptiste Jeannin (NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings, 2026)