Sandeep Patil, Valeriy Vyatkin, Cheng Pang. Counterexample-guided simulation framework for formal verification of flexible automation systems. In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015. pages 1192-1197, IEEE, 2015. [doi]
@inproceedings{PatilVP15,
title = {Counterexample-guided simulation framework for formal verification of flexible automation systems},
author = {Sandeep Patil and Valeriy Vyatkin and Cheng Pang},
year = {2015},
doi = {10.1109/INDIN.2015.7281905},
url = {http://dx.doi.org/10.1109/INDIN.2015.7281905},
researchr = {https://researchr.org/publication/PatilVP15},
cites = {0},
citedby = {0},
pages = {1192-1197},
booktitle = {13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015},
publisher = {IEEE},
isbn = {978-1-4799-6649-3},
}