1 paper
Amit Gurung, Arup Deka, Ezio Bartocci +3
We propose two parallel state-space exploration algorithms for hybrid systems with the goal of enhancing performance on multi-core shared memory systems. The first is an adaption o…