Ruben Giaquinta

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Autonomous Agents

Uncertain Environments

Agent Negotiation

Top Venues

Formal Aspects Comput.

Publications

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) (2020)
Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman
Strategy Synthesis for Autonomous Agents Using PRISM. NFM (2018)