computer aided verification. part i (4)
annual reviews in control (3)
ieee transactions on automatic control (3)
2023 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2023 ieee international conference on (2)
ieee design & test (2)
ifac papersonline (2)
ifac-papersonline (2)
nonlinear analysis: hybrid systems (2)
2016 ieee conference on control applications (cca), control applications (cca), 2016 ieee conference on (1)
2016 international conference on embedded software (emsoft) (1)
2016 international conference on embedded software (emsoft), embedded software (emsoft), 2016 international conference on (1)
2021 60th ieee conference on decision and control (cdc), decision and control (cdc), 2021 60th ieee conference on (1)
2021 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2021 ieee/rsj international conference on (1)
2022 ieee 61st conference on decision and control (cdc), decision and control (cdc), 2022 ieee 61st conference on (1)
2022 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2022 ieee/rsj international conference on (1)
2023 59th annual allerton conference on communication, control, and computing (allerton), communication, control, and computing (allerton), 2023 59th annual allerton conference on (1)
2023 ieee power & energy society general meeting (pesgm), power & energy society general meeting (pesgm), 2023 ieee (1)
acm transactions on embedded computing systems (1)
automated technology for verification & analysis 13th international symposium, atva 2015 shanghai, china, october 12-15, 2015, proceedings (1)
computer aided verification (1)
computer aided verification (9783319088662) (1)
computer aided verification (9783319216898) (1)
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i (1)
dissertation abstract international (1)
dissertations abstracts international (1)
formal methods (1)
hscc2021---proceedings of the 24th international conference on hybrid systems: computation and control (1)
hybrid systems biology: fourth international workshop, hsb 2015, madrid, spain, september 4-5, 2015. revised selected papers (1)
ieee control systems letters (1)
ieee design & test of computers (1)
ieee signal processing letters (1)
ieee transactions on robotics (1)
ieee transactions on smart grid (1)
institute of electrical and electronics engineers. transactions on automatic control (1)
nonlinear analysis. hybrid systems (1)
nonlinear analysis-hybrid systems (1)