A Refinement Strategy for Hybrid System Design with Safety Constraints.

Zheng Cheng, Dominique Mry

Browse the full MEDI paper archive.