Formal stability analysis of optical resonators

Publication
NASA Formal Methods Symposium