Aistis Simaitis

According to our database, Aistis Simaitis authored at least 10 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Automatic verification of competitive stochastic systems.

Aistis Simaitis

PhD thesis, 2014

2013

Automatic verification of competitive stochastic systems.

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

Formal Methods Syst. Des., 2013

Strategic Analysis of Trust Models for User-Centric Networks

Marta Z. Kwiatkowska, David Parker, Aistis Simaitis

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

PRISM-games: A Model Checker for Stochastic Multi-Player Games.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.

Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On Stochastic Games with Multiple Objectives.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Solvency Markov Decision Processes with Interest.

Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Host selection through collective decision.

Fabrice Saffre, Aistis Simaitis

ACM Trans. Auton. Adapt. Syst., 2012

Playing Stochastic Games Precisely.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Verifying Team Formation Protocols with Probabilistic Model Checking.

Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis

Proceedings of the Computational Logic in Multi-Agent Systems, 2011