Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon.

Alexandre Chapoutot, Julien Alexandre Dit Sandretto

Browse the full CAV paper archive.