Travelled to:1 × Denmark
1 × Israel
Collaborated with:B.Boigelot P.Wolper L.Bronne
Talks about:reachabl (1) automata (1) arithmet (1) express (1) analysi (1) system (1) strong (1) method (1) linear (1) improv (1)
Person: Stéphane Rassart
DBLP: Rassart:St=eacute=phane
Contributed to:
1998
1997Wrote 2 papers:
- ICALP-1998-BoigelotRW #automaton #integer #on the
- On the Expressiveness of Real and Integer Arithmetic Automata (BB, SR, PW), pp. 152–163.
- CAV-1997-BoigelotBR #analysis #hybrid #linear #reachability
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (BB, LB, SR), pp. 167–178.