1 citations · 1 across the 1 of their papers we have counts for
1 paper
Sumit Kumar Jha
This paper presents the design of a novel distributed algorithm d-IRA for the reachability analysis of linear hybrid automata. Recent work on iterative relaxation abstraction (IRA)…