Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems

Sandeep Patil, Valeriy Vyatkin, Cheng Pang

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

15 Citations (Scopus)
Original languageEnglish
Title of host publication13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015
Place of PublicationCambridge, UK
ISBN (Electronic)9781479966509
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

ISSN (Print)1935-4576


  • Closed-Loop Modeling
  • Formal Verification
  • NCES
  • SESA
  • ViVe

Cite this