Mr Douglas Fraser
- UG Demonstrator, Tutor (School of Computing Science)
email:
Douglas.Fraser@glasgow.ac.uk
email:
Douglas.Fraser@glasgow.ac.uk
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)
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)
The University of Glasgow uses cookies for analytics and advertising. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Hotjar helps us to understand and improve our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Marketing cookies are used to ensure our marketing content is relevant, timely and interest based. They allow our approved partner to measure effectiveness and serve appropriate and personalised marketing messages on other websites based on your activity on glasgow.ac.uk