Aistis Simaitis

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Venues

TACAS

CoRR

FSTTCS

ACM Trans. Auton. Adapt. Syst.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. QEST (2013)
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
Solvency Markov Decision Processes with Interest. FSTTCS (2013)
Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Strategic Analysis of Trust Models for User-Centric Networks SR (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
On Stochastic Games with Multiple Objectives. MFCS (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43 (1) (2013)
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
Solvency Markov Decision Processes with Interest. CoRR (2013)
Fabrice Saffre, Aistis Simaitis
Host selection through collective decision. ACM Trans. Auton. Adapt. Syst. 7 (1) (2012)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
Playing Stochastic Games Precisely. CONCUR (2012)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Automatic Verification of Competitive Stochastic Systems. TACAS (2012)
Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA (2011)

Aistis Simaitis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aistis Simaitis