Mr Douglas Fraser

  • Tutor (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2020
Number of items: 1.

2020

Fraser, D., Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A. and Norman, G. (2020) Collaborative models for autonomous systems controller synthesis. Formal Aspects of Computing, (Accepted for Publication)

This list was generated on Thu Apr 2 19:58:42 2020 BST.
Jump to: Articles
Number of items: 1.

Articles

Fraser, D., Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A. and Norman, G. (2020) Collaborative models for autonomous systems controller synthesis. Formal Aspects of Computing, (Accepted for Publication)

This list was generated on Thu Apr 2 19:58:42 2020 BST.