Mr Douglas Fraser

  • UG Demonstrator, 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, 32, pp. 157-186. (doi: 10.1007/s00165-020-00508-1)

This list was generated on Tue Oct 19 11:28:38 2021 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, 32, pp. 157-186. (doi: 10.1007/s00165-020-00508-1)

This list was generated on Tue Oct 19 11:28:38 2021 BST.