Report - Temporal Logic Testing for Hybrid Systemsgfaineko/pres/fainekos_shonan2012.pdf · 2. the engine speed ωexceeds 4500RPM, and 3. all states are reached in the switching logic ... •

Please pass captcha verification before submit form