Aistis Simaitis : Publications
|
[1] |
On Stochastic Games with Multiple Objectives Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche No. RR−13−06. DCS. 2013. |
|
[2] |
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. |
|
[3] |
Playing Stochastic Games Precisely Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels In CONCUR. Pages 348−363. 2012. |
|
[4] |
Automatic Verification of Competitive Stochastic Systems Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ David Parker and Aistis Simaitis In TACAS. Pages 315−330. 2012. |
|
[5] |
PLAYING STOCHASTIC GAMES PRECISELY Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels No. RR−12−03. 2012. |
|
[6] |
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. |
|
[7] |
Automatic Verification of Competitive Stochastic Systems Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis No. RR−11−11. DCS. 2011. |