TY  - RPRT
TI  - Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
AU  - Jonas Krook
AU  - Robi Malik
AU  - Sahar Mohajerani
AU  - Martin Fabian
PY  - 2022
UR  - https://arxiv.org/abs/2205.13959
ID  - 2205.13959
ER  -