Personal tools
You are here: Home Events Lab Lunch by Stephen Gilmore

Lab Lunch by Stephen Gilmore

— filed under:

Model-checking Edinburgh Buses

  • Upcoming events
When Dec 10, 2013
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal
Model-checking Edinburgh Buses
The QUANTICOL project is a five-year European project on modelling collective adaptive systems (CAS).  CAS are large-scale systems which adapt and change in response to patterns of user behaviour.  The project is using a variety of formal modelling languages to describe such systems and a range of quantitative modelling techniques to reason about them.  This talk will look at part of one of the case studies on the project: modelling an Edinburgh bus route and applying probabilistic model-checking techniques to investigate whether the buses on this route will arrive on time.
Joint work with Ludovica Luisa Vissat and Allan Clark.
Document Actions