Dennis, Louise, Fisher, Michael, Ferrando, Angelo, Mascardi, Viviana and Ancona, Davide (2018) Recognising Assumption Violations in Autonomous Systems Verification. [Data 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 |
| DOI: | 10.17638/datacat.liverpool.ac.uk/438 |
| URI: | https://datacat.liverpool.ac.uk/id/eprint/438 |
Available Files
Read me
Software: GNU LGPL 3.0 |
Software: GNU LGPL 3.0 |
