Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems

Davoren, Jennifer M.2015-12-132015-12-13March 2 20http://hdl.handle.net/1885/90043Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems20002015-12-12