@inproceedings{riley2021reinforcement,
  added-at = {2022-03-03T14:31:22.000+0100},
  author = {Riley, Joshua and Calinescu, Radu and Paterson, Colin and Kudenko, Daniel and Banks, Alec},
  biburl = {https://www.bibsonomy.org/bibtex/2348741acd844451438c21f93fffc1b13/kudenko},
  booktitle = {13th International Conference on Agents and Artificial Intelligence},
  interhash = {2fb186c55bd9a729ab2ad671abed0558},
  intrahash = {348741acd844451438c21f93fffc1b13},
  keywords = {myown},
  timestamp = {2022-03-03T14:31:22.000+0100},
  title = {Reinforcement learning with quantitative verification for assured multi-agent policies},
  year = 2021
}

@inproceedings{conf/icaart/RileyCPKB21,
  added-at = {2021-03-02T00:00:00.000+0100},
  author = {Riley, Joshua and Calinescu, Radu and Paterson, Colin and Kudenko, Daniel and Banks, Alec},
  biburl = {https://www.bibsonomy.org/bibtex/289453a9d5e92d530dd79d2f40c76a07b/dblp},
  booktitle = {ICAART (2)},
  crossref = {conf/icaart/2021-2},
  editor = {Rocha, Ana Paula and Steels, Luc and van den Herik, H. Jaap},
  ee = {https://doi.org/10.5220/0010258102370245},
  interhash = {2fb186c55bd9a729ab2ad671abed0558},
  intrahash = {89453a9d5e92d530dd79d2f40c76a07b},
  isbn = {978-989-758-484-8},
  keywords = {dblp},
  pages = {237-245},
  publisher = {SCITEPRESS},
  timestamp = {2024-04-09T20:27:04.000+0200},
  title = {Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.},
  url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2021-2.html#RileyCPKB21},
  year = 2021
}