by Anna Lukina
Reference:
V for Verification: Intelligent Algorithm of Checking Reliability of Smart SystemsAnna LukinaProceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. (Satinder P. Singh, Shaul Markovitch, eds.), pages 5046–5047, 2017, AAAI Press.
Bibtex Entry:
@inproceedings{DBLP:conf/aaai/Lukina17,
author = {Anna Lukina},
editor = {Satinder P. Singh and
Shaul Markovitch},
title = {V for Verification: Intelligent Algorithm of Checking Reliability
of Smart Systems},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA.}},
pages = {5046--5047},
publisher = {{AAAI} Press},
year = {2017},
url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190},
timestamp = {Mon, 06 Mar 2017 11:36:24 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/aaai/Lukina17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}