My research interests are focused around combining model-checking and game-theoretic techniques to the analysis and verification of stochastic multi-agent systems, more specifically, automated negotiation, decision making, and cooperation algorithms. The work is closely related to the ERC project VERIWARE focus of which is verification of software for ubiquitous computing systems.
I am a doctoral student in Quantitative Analysis and Verification research group supervised by Professor Marta Kwiatkowska. I received my undergraduate degree in Computing from the University of Leeds in 2010. As part of my studies I spent 12 months in the BT Laboratories at Adastral Park, where I was working on the design and analysis of self-organising algorithms for the FP6 project CASCADAS. Before moving to Leeds I spent two years studying Software Engineering in the Mathematics and Informatics Faculty in Vilnius University.
On Stochastic Games with Multiple Objectives
Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche
No. RR−13−06. DCS. 2013.
Host selection through collective decision
Fabrice Saffre and Aistis Simaitis
In ACM Trans. Auton. Adapt. Syst.. Vol. 7. No. 1. Pages 4:1–4:16. May, 2012.
Playing Stochastic Games Precisely
Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
In CONCUR. Pages 348−363. 2012.