Professor Arthur G Richards

M.Eng.(Cantab.), S.M.(M.I.T.), Ph.D. (M.I.T.)

  • BS16 1QY


Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Conference Poster

Formal Verification of Control System Properties with Theorem Proving

Araiza Illan, D., Eder, K. I. & Richards, A. G., 9 Jul 2014.

Research output: Contribution to conferenceConference Poster