×

Bounded model checking of hybrid systems for control. (English) Zbl 1360.93078

Editorial remark: No review copy delivered.

MSC:

93A30 Mathematical modelling of systems (MSC2010)
68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata
PDFBibTeX XMLCite
Full Text: DOI