Aistis Simaitis : Publications
-
[1]
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 about Automatic Verification of Competitive Stochastic Systems | BibTeX data for Automatic Verification of Competitive Stochastic Systems
-
[2]
Automatic Verification of Competitive Stochastic Systems
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis
No. RR−11−11. DCS. 2011.
Details about Automatic Verification of Competitive Stochastic Systems | BibTeX data for Automatic Verification of Competitive Stochastic Systems | Download (pdf) of Automatic Verification of Competitive Stochastic Systems
-
[3]
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 about Host selection through collective decision | BibTeX data for Host selection through collective decision | DOI (10.1145/2168260.2168264) | Link to Host selection through collective decision
-
[4]
On Stochastic Games with Multiple Objectives
Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche
No. RR−13−06. DCS. 2013.
Details about On Stochastic Games with Multiple Objectives | BibTeX data for On Stochastic Games with Multiple Objectives | Download (pdf) of On Stochastic Games with Multiple Objectives
-
[5]
PLAYING STOCHASTIC GAMES PRECISELY
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
No. RR−12−03. 2012.
Details about PLAYING STOCHASTIC GAMES PRECISELY | BibTeX data for PLAYING STOCHASTIC GAMES PRECISELY | Download (pdf) of PLAYING STOCHASTIC GAMES PRECISELY
-
[6]
Playing Stochastic Games Precisely
Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
In CONCUR. Pages 348−363. 2012.
Details about Playing Stochastic Games Precisely | BibTeX data for Playing Stochastic Games Precisely
-
[7]
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 about Verifying Team Formation Protocols with Probabilistic Model Checking | BibTeX data for Verifying Team Formation Protocols with Probabilistic Model Checking