Travelled to:1 × Ireland
Collaborated with:A.Platzer L.Nistor
Talks about:distribut (1) control (1) verifi (1) hybrid (1) formal (1) cruis (1) adapt (1) now (1)
Person: Sarah M. Loos
DBLP: Loos:Sarah_M=
Contributed to:
2011Wrote 1 papers:
- FM-2011-LoosPN #adaptation #distributed #hybrid
- Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.