Constance L. Heitmeyer, Elizabeth I. Leonard. Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. pages 54-60, IEEE, 2015. [doi]
@inproceedings{HeitmeyerL15, title = {Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation}, author = {Constance L. Heitmeyer and Elizabeth I. Leonard}, year = {2015}, doi = {10.1109/FormaliSE.2015.16}, url = {http://dx.doi.org/10.1109/FormaliSE.2015.16}, researchr = {https://researchr.org/publication/HeitmeyerL15}, cites = {0}, citedby = {0}, pages = {54-60}, booktitle = {3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015}, publisher = {IEEE}, isbn = {978-1-4673-7043-1}, }