lfcps.com domain details, André Platzer @ Karlsruhe Institute of Technology
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.
André Platzer Alexander von Humboldt Professor Karlsruhe Institute of Technology Logic of Dynamical Systems Logic of Autonom
Domain rank: 100000000
Indexed URLs from lfcps.com website (10)
The links in column here only counts links from external domains.
found date
links in
url title
url
2024-07-25
Textbook: Logical Foundations of Cyber-Physical Systems
2024-07-25
André Platzer
2024-07-25
Analysis Tools and Applications
2024-07-25
Logic for Distributed Hybrid Systems
2024-07-25
2024-07-25
2024-07-25
2022-07-20
André Platzer @ Karlsruhe Institute of Technology
2024-07-25
KeYmaera Software: A Hybrid Theorem Prover for Hybrid Systems
2024-07-25