@inproceedings{lukina2017v,
  title={V for verification: intelligent algorithm of checking reliability of smart systems},
  author={Lukina, Anna},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={31},
  number={1},
  year={2017},
  url_doi={https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190}
}

{"_id":"jqyrmXmuXg42meQZR","bibbaseid":"lukina-vforverificationintelligentalgorithmofcheckingreliabilityofsmartsystems-2017","author_short":["Lukina, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"V for verification: intelligent algorithm of checking reliability of smart systems","author":[{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]}],"booktitle":"Proceedings of the AAAI Conference on Artificial Intelligence","volume":"31","number":"1","year":"2017","url_doi":"https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190","bibtex":"@inproceedings{lukina2017v,\n title={V for verification: intelligent algorithm of checking reliability of smart systems},\n author={Lukina, Anna},\n booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},\n volume={31},\n number={1},\n year={2017},\n url_doi={https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190}\n}\n\n","author_short":["Lukina, A."],"key":"lukina2017v","id":"lukina2017v","bibbaseid":"lukina-vforverificationintelligentalgorithmofcheckingreliabilityofsmartsystems-2017","role":"author","urls":{" doi":"https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["verification","intelligent","algorithm","checking","reliability","smart","systems","lukina"],"title":"V for verification: intelligent algorithm of checking reliability of smart systems","year":2017}