Aistis Simaitis

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