Inproceedings,
Assured Reinforcement Learning with Formally Verified Abstract Policies.
G. Mason, R. Calinescu, D. Kudenko, and A. Banks.ICAART (2), page 105-117. SciTePress, (2017)
Meta data
- BibTeX key
- conf/icaart/MasonCKB17
- entry type
- inproceedings
- booktitle
- ICAART (2)
- year
- 2017
- pages
- 105-117
- publisher
- SciTePress
- crossref
- conf/icaart/2017-2
- ee
- https://doi.org/10.5220/0006156001050117
- isbn
- 978-989-758-220-2
- url
- http://dblp.uni-trier.de/db/conf/icaart/icaart2017-2.html#MasonCKB17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icaart/MasonCKB17
%A Mason, George
%A Calinescu, Radu
%A Kudenko, Daniel
%A Banks, Alec
%B ICAART (2)
%D 2017
%E van den Herik, H. Jaap
%E Rocha, Ana Paula
%E Filipe, Joaquim
%I SciTePress
%K dblp
%P 105-117
%T Assured Reinforcement Learning with Formally Verified Abstract Policies.
%U http://dblp.uni-trier.de/db/conf/icaart/icaart2017-2.html#MasonCKB17
%@ 978-989-758-220-2
@inproceedings{conf/icaart/MasonCKB17,
added-at = {2017-05-17T00:00:00.000+0200},
author = {Mason, George and Calinescu, Radu and Kudenko, Daniel and Banks, Alec},
biburl = {https://www.bibsonomy.org/bibtex/269cb590bb084c1cc607578d104500ad1/dblp},
booktitle = {ICAART (2)},
crossref = {conf/icaart/2017-2},
editor = {van den Herik, H. Jaap and Rocha, Ana Paula and Filipe, Joaquim},
ee = {https://doi.org/10.5220/0006156001050117},
interhash = {7a7deb369d49f7461ef6920fcdff0741},
intrahash = {69cb590bb084c1cc607578d104500ad1},
isbn = {978-989-758-220-2},
keywords = {dblp},
pages = {105-117},
publisher = {SciTePress},
timestamp = {2017-05-18T19:50:57.000+0200},
title = {Assured Reinforcement Learning with Formally Verified Abstract Policies.},
url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2017-2.html#MasonCKB17},
year = 2017
}