Travelled to:
1 × Austria
Collaborated with:
∅
Talks about:
reachabl (1) orthogon (1) project (1) analysi (1) system (1) symbol (1) hybrid (1) use (1)
Person: Willem Hagemann
DBLP: Hagemann:Willem
Contributed to:
Wrote 1 papers:
- CAV-2014-Hagemann #analysis #hybrid #orthogonal #reachability #using
- Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.