Counterexample-guided simulation framework for formal verification of flexible automation systems.

Sandeep Patil, Valeriy Vyatkin, Cheng Pang

Browse the full INDIN paper archive.