André Platzer: Logical foundations of cyber-physical systems

Alexander Knapp, Markus Roggenbach
2020 Formal Aspects of Computing  
At time T 0, a mouse starts running from a certain position on the floor in a straight line towards a hole in the wall, which is at a distance X 0 from the initial position. The mouse runs at a constant velocity V m . After a delay of time units, a cat is released at the same initial position and chases the mouse at velocity V c along the same path. Will the cat catch the mouse or will the mouse find sanctuary while the cat crashes against the wall? [MMP91]
doi:10.1007/s00165-020-00510-7 fatcat:fi6i3l3ihjaorb5e4e73ynfpdi