Sciweavers

CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 23 days ago
The Power of Hybrid Acceleration
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
Bernard Boigelot, Frédéric Herbretea...