Travelled to:1 × Estonia
1 × Italy
Collaborated with:T.Chen V.Forejt M.Z.Kwiatkowska D.Parker
Talks about:stochast (2) game (2) competit (1) checker (1) automat (1) system (1) player (1) verif (1) prism (1) multi (1)
Person: Aistis Simaitis
DBLP: Simaitis:Aistis
Contributed to:
20132012Wrote 2 papers:
- TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
- TACAS-2012-ChenFKPS #automation #probability #verification
- Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.