A hybrid approach to cyber-physical systems verification.

Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele

Browse the full DAC paper archive.