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