URL details: lfcps.com
URL title:
André Platzer @ Karlsruhe Institute of Technology
URL description:
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.
URL keywords:
André Platzer, Alexander von Humboldt Professor, Karlsruhe Institute of Technology, Logic of Dynamical Systems, Logic of Autonom
URL last crawled:
2024-07-25
URL speed:
0.769 MB/s,
downloaded in 0.030 seconds
We found no external links pointing to this url.