Collaborative models for autonomous systems controller synthesis

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)

[img] Text
209974.pdf - Accepted Version
Restricted to Repository staff only

4MB

Abstract

No abstract available.

Item Type:Articles
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin and Giaquinta, Dr Ruben and Fraser, Mr Douglas and Hoffmann, Dr Ruth and Miller, Professor Alice
Authors: Fraser, D., Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A., and Norman, G.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Formal Aspects of Computing
Publisher:Springer
ISSN:0934-5043
ISSN (Online):1433-299X

University Staff: Request a correction | Enlighten Editors: Update this record