Aistis Simaitis
Themes:
Interests
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.
Biography
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.
Selected Publications
-
On Stochastic Games with Multiple Objectives
Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche
No. RR−13−06. DCS. 2013.
Details about On Stochastic Games with Multiple Objectives | BibTeX data for On Stochastic Games with Multiple Objectives | Download (pdf) of On Stochastic Games with Multiple Objectives
-
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.
Details about Host selection through collective decision | BibTeX data for Host selection through collective decision | DOI (10.1145/2168260.2168264) | Link to Host selection through collective decision
-
Playing Stochastic Games Precisely
Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
In CONCUR. Pages 348−363. 2012.
Details about Playing Stochastic Games Precisely | BibTeX data for Playing Stochastic Games Precisely