Collaborative models for autonomous systems controller synthesis

Open Webpage

Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman

Published: 2020, Last Modified: 19 Mar 2025Formal Aspects Comput. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0