TY  - RPRT
TI  - Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
AU  - Oscar Lindvall Bulancea
AU  - Petter Nilsson
AU  - Necmiye Ozay
PY  - 2018
UR  - https://arxiv.org/abs/1804.04280
ID  - 1804.04280
ER  -