TY  - RPRT
TI  - Improving Strategies via SMT Solving
AU  - Thomas Martin Gawlitza
AU  - David Monniaux
PY  - 2011
DO  - 10.1007/978-3-642-19718-5_13
UR  - https://arxiv.org/abs/1101.2812
ID  - 1101.2812
ER  -