DMCA

Bounded model checking of hybrid dynamical system (2005)

by Nicolò Giorgetti , George J. Pappas , Alberto Bemporad
Venue:IN: PROCEEDINGS OF THE 44RD CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC’05
Citations:6 - 0 self