default search action
"Collaborative models for autonomous systems controller synthesis."
Douglas Fraser et al. (2020)
- Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman:
Collaborative models for autonomous systems controller synthesis. Formal Aspects Comput. 32(2-3): 157-186 (2020)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.