Strategy Synthesis for Autonomous Agents Using PRISM. - Ruben Giaquinta; Ruth Hoffmann; Murray L. Ireland; Alice Miller 001; Gethin Norman (NFM, 2018)

Collaborative models for autonomous systems controller synthesis. - Douglas Fraser; Ruben Giaquinta; Ruth Hoffmann; Murray Ireland; Alice Miller 001; Gethin Norman (Formal Aspects Comput., 2020)