Staff
Lead researcher
Research project
Linear-Time Temporal Logics for Continuous Space Probabilistic Systems
-
Research areas:
-
Lead researcher:
-
Research funder:Royal Society
-
Status:Not active
