Travelled to:1 × France
Collaborated with:T.T.Johnson J.Green S.Mitra R.Dudley
Talks about:nonlinear (1) satellit (1) conjunct (1) rendezv (1) system (1) hybrid (1) verif (1) studi (1) avoid (1) case (1)
Person: Richard Scott Erwin
DBLP: Erwin:Richard_Scott
Contributed to:
2012Wrote 1 papers:
- FM-2012-JohnsonGMDE #case study #hybrid #verification
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (TTJ, JG, SM, RD, RSE), pp. 252–266.