Falsification of OTSs by Searches of Bounded Reachable State Spaces.

Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi

Browse the full SEKE paper archive.