TY - RPRT TI - On the structure of Hamiltonian impact systems AU - Michal Pnueli AU - Vered Rom-Kedar PY - 2020 UR - https://arxiv.org/abs/1903.08851 ID - 1903.08851 ER -