Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances.

Yunjun Bai, Kaushik Mallik

Browse the full ICFEM paper archive.