Staff
Lead researcher
- Choose your halls of residence
- Apply for accommodation
- Guaranteed accommodation
- Your accommodation options
- Accommodation for those with additional requirements
- International and pre-sessional students
- Postgraduate accommodation
- Couples and students with children
- Renting privately
- Our accommodation areas
- Privacy notice
- Terms and conditions
- Fees and contracts
Research project
Linear-Time Temporal Logics for Continuous Space Probabilistic Systems
-
Research groups:
-
Lead researcher:
-
Research funder:Royal Society
-
Status:Not active
