Aistis Simaitis

Doctoral Student

Student, Magdalen College

aistis.simaitis@cs.ox.ac.uk

+44 (0) 1865 610774

Wolfson Building, Parks Road, Oxford OX1 3QD

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

View all

Manage publications

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 | BibTeX | DOI (10.1145/2168260.2168264)

Automatic Verification of Competitive Stochastic Systems

Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ David Parker and Aistis Simaitis

In TACAS. Pages 315−330. 2012.

Details | BibTeX

Verifying Team Formation Protocols with Probabilistic Model Checking

T. Chen‚ M. Kwiatkowska‚ D. Parker and A. Simaitis

In Proc. 12th International Workshop on Computational Logic in Multi−Agent Systems (CLIMA XII 2011). Vol. 6814 of LNCS. Pages 190–297. Springer. 2011.

Details | BibTeX