Travelled to:
1 × Israel
Collaborated with:
B.Boigelot S.Rassart
Talks about:
reachabl (1) analysi (1) system (1) strong (1) method (1) linear (1) improv (1) hybrid (1)
Person: Louis Bronne
DBLP: Bronne:Louis
Contributed to:
Wrote 1 papers:
- CAV-1997-BoigelotBR #analysis #hybrid #linear #reachability
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (BB, LB, SR), pp. 167–178.