Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Browse the full CAV paper archive.