Aistis Simaitis : Publications

Click here to download all publications in a single bibtex file

@techreport{RR-13-06,
  title = "On Stochastic Games with Multiple Objectives",
  author = "Taolue Chen and Vojt\v{e}ch Forejt and Marta Kwiatkowska and Aistis Simaitis and Clemens Wiltsche",
  year = "2013",
  institution = "DCS",
  number = "RR-13-06",
  pages = "33",
}

@article{Saffre:2012:HST:2168260.2168264,
  title = "Host selection through collective decision",
  author = "Saffre, Fabrice and Simaitis, Aistis",
  year = "2012",
  address = "New York, NY, USA",
  issn = "1556-4665",
  journal = "ACM Trans. Auton. Adapt. Syst.",
  keywords = "Agent-based systems, collective decision-making",
  month = "may",
  number = "1",
  pages = "4:1--4:16",
  publisher = "ACM",
  url = "http://doi.acm.org/10.1145/2168260.2168264",
  volume = "7",
  doi = "10.1145/2168260.2168264",
}

@inproceedings{DBLP:conf/concur/ChenFKSTU12,
  title = "Playing Stochastic Games Precisely",
  author = "Taolue Chen and Vojtech Forejt and Marta Z. Kwiatkowska and Aistis Simaitis and Ashutosh Trivedi and Michael Ummels",
  year = "2012",
  booktitle = "CONCUR",
  pages = "348-363",
}

@inproceedings{DBLP:conf/tacas/ChenFKPS12,
  title = "Automatic Verification of Competitive Stochastic Systems",
  author = "Taolue Chen and Vojtech Forejt and Marta Z. Kwiatkowska and David Parker and Aistis Simaitis",
  year = "2012",
  booktitle = "TACAS",
  pages = "315-330",
}

@techreport{RR-12-03,
  title = "PLAYING STOCHASTIC GAMES PRECISELY",
  author = "Taolue Chen and Vojtech Forejt and Marta Kwiatkowska and Aistis Simaitis and Ashutosh Trivedi and Michael Ummels",
  year = "2012",
  affiliation = "DCS",
  number = "RR-12-03",
  pages = "21",
}

@inproceedings{CKPS11,
  title = "Verifying Team Formation Protocols with Probabilistic Model Checking",
  author = "T. Chen and M. Kwiatkowska and D. Parker and A. Simaitis",
  year = "2011",
  booktitle = "Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII 2011)",
  pages = "190--297",
  publisher = "Springer",
  series = "LNCS",
  volume = "6814",
}

@techreport{RR-11-11,
  title = "Automatic Verification of Competitive Stochastic Systems",
  author = "Taolue Chen and Vojtech Forejt and Marta Kwiatkowska and David Parker and Aistis Simaitis",
  year = "2011",
  institution = "DCS",
  number = "RR-11-11",
  pages = "25",
}