Verifying Team Formation Protocols with Probabilistic Model Checking. - Taolue Chen 001; Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (CLIMA, 2011)

Playing Stochastic Games Precisely. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; Aistis Simaitis; Ashutosh Trivedi 001; Michael Ummels (CONCUR, 2012)

Host selection through collective decision. - Fabrice Saffre; Aistis Simaitis (ACM Trans. Auton. Adapt. Syst., 2012)

Solvency Markov Decision Processes with Interest. - Tomás Brázdil; Taolue Chen 001; Vojtech Forejt; Petr Novotný 001; Aistis Simaitis (FSTTCS, 2013)

On Stochastic Games with Multiple Objectives. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; Aistis Simaitis; Clemens Wiltsche (MFCS, 2013)

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. - Taolue Chen 001; Marta Z. Kwiatkowska; Aistis Simaitis; Clemens Wiltsche (QEST, 2013)

PRISM-games: A Model Checker for Stochastic Multi-Player Games. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (TACAS, 2013)

Strategic Analysis of Trust Models for User-Centric Networks - Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (SR, 2013)

Automatic verification of competitive stochastic systems. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Aistis Simaitis (Formal Methods Syst. Des., 2013)

Automatic verification of competitive stochastic systems. - Aistis Simaitis (2014)