@inproceedings{5bae7e34e0b64a54b2a90c55a2464cab,
title = "Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems",
keywords = "Closed-Loop Modeling, Formal Verification, NCES, SESA, ViVe, Closed-Loop Modeling, Formal Verification, NCES, SESA, ViVe, Closed-Loop Modeling, Formal Verification, NCES, SESA, ViVe",
author = "Sandeep Patil and Valeriy Vyatkin and Cheng Pang",
year = "2015",
language = "English",
isbn = "978-1-4799-6649-3",
pages = "1192--1197",
booktitle = "13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015",
}