Travelled to:
1 × Switzerland
Collaborated with:
G.Schneider
Talks about:
implement (1) reachabl (1) analysi (1) theori (1) gspdis (1) optim (1)
Person: Hallstein Asheim Hansen
DBLP: Hansen:Hallstein_Asheim
Contributed to:
Wrote 1 papers:
- SAC-2010-HansenS #analysis #implementation #optimisation #reachability
- Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.