TY  - RPRT
TI  - Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations
AU  - Anne-Kathrin Schmuck
AU  - Jörg Raisch
PY  - 2014
UR  - https://arxiv.org/abs/1402.3506
ID  - 1402.3506
ER  -