A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
André Platzer: Logical foundations of cyber-physical systems
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