@article{AGH+21,
author = {Abate, Alessandro and Gutierrez, Julian and Hammond, Lewis and Harrenstein, Paul and Kwiatkowska, Marta and Najib, Muhammad and Perelli, Giuseppe and Steeples, Thomas and Wooldridge, Michael},
year = {2021},
month = {},
pages = {},
title = {Rational Verification: A Progress Report},
journal = {Applied Intelligence},
volume = {},
note={To appear},
doi = {https://doi.org/10.1007/s10489-021-02658-y}
}