Research Spotlight: From Newton to Turing to cyber-physical systems
February 2018
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.