Posted: 4th January 2013

Two papers from the Department were accepted into the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), to take place in Rome in March. TACAS is one of the premier conferences for research in analysis of the behaviour of software and hardware.

The two papers are:  

• LTL model checking of Interval Markov Chains by Michael Benedikt, Rastislav Lenhardt and James Worrell (all Oxford):
• PRISM-games: A Model Checker for Stochastic Multi-Player Games by Taolue Chen (Oxford), Vojtech Forejt (Oxford), Marta Kwiatkowska (Oxford), David Parker (Birmingham) and Aistis Simaitis (Oxford):