Recognising Assumption Violations in Autonomous Systems Verification

Dennis, Louise, Fisher, Michael, Ferrando, Angelo, Mascardi, Viviana and Ancona, Davide (2018) Recognising Assumption Violations in Autonomous Systems Verification. [Data Collection]

Collection description

This provides a collection of examples discussed in the paper Ferrando et al. `Recognising Assumption Violations in Autonomous Systems Verification' (AAMAS 2018) (to appear - DOI will be supplied when it does). It consists of two examples of rational agent implementations of cruise control, a number of trace expressions expressing constraints on the environments these agents run in, structured environments for verification generated from these trace expressions and the results of the static verifications, and executing the agents in a simulation with a runtime monitor generated from the trace expression

Keywords: runtime verification, trace expression, model checking
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Louise Dennis
Date Deposited: 09 Feb 2018 09:09
Last Modified: 09 Feb 2018 09:09
URI: http://datacat.liverpool.ac.uk/id/eprint/438

Available Files

Read me