Strategy synthesis for autonomous agents using PRISM

Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Strategy synthesis for autonomous agents using PRISM'. Together they form a unique fingerprint.

Computer Science

Earth and Planetary Sciences