TY  - RPRT
TI  - A CEGAR-like Approach for Cost LTL Bounds
AU  - Maximilien Colange
AU  - Dimitri Racordon
AU  - Didier Buchs
PY  - 2015
UR  - https://arxiv.org/abs/1506.05728
ID  - 1506.05728
ER  -