Aistis Šimaitis
Aistis Šimaitis
Verifierad e-postadress på cs.ox.ac.uk
Titel
Citeras av
Citeras av
År
Automatic verification of competitive stochastic systems
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Formal Methods in System Design 43 (1), 61-92, 2013
1472013
PRISM-games: A model checker for stochastic multi-player games
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
International Conference on TOOLS and Algorithms for the Construction and …, 2013
1312013
On stochastic games with multiple objectives
T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche
International Symposium on Mathematical Foundations of Computer Science, 266-277, 2013
512013
Synthesis for multi-objective stochastic games: An application to autonomous urban driving
T Chen, M Kwiatkowska, A Simaitis, C Wiltsche
International Conference on Quantitative Evaluation of Systems, 322-337, 2013
462013
Verifying team formation protocols with probabilistic model checking
T Chen, M Kwiatkowska, D Parker, A Simaitis
International Workshop on Computational Logic in Multi-Agent Systems, 190-207, 2011
222011
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
182012
Automatic verification of competitive stochastic systems
A Simaitis
Oxford University, UK, 2014
172014
Strategic analysis of trust models for user-centric networks
M Kwiatkowska, D Parker, A Simaitis
arXiv preprint arXiv:1303.0791, 2013
142013
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
122018
Host selection through collective decision
F Saffre, A Simaitis
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (1), 1-16, 2012
82012
Solvency Markov decision processes with interest
T Brázdil, T Chen, V Forejt, P Novotný, A Simaitis
arXiv preprint arXiv:1310.3119, 2013
32013
Heterogeneous beliefs in over-the-counter markets
M De Kamps, D Ladley, A Simaitis
Journal of Economic Dynamics and Control 41, 50-68, 2014
12014
Host selection through collective decision
A Simaitis
ACM Trans. Auton. Adapt. Syst. 7 (1), 2012
2012
Effects of Network Structure to Financial Trading Dynamics
A Simaitis
University of Leeds, School of Computing Studies, 2010
2010
Effects of Network Structure to Financial Market Trading Dynamics
A Simaitis
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–15