Follow
Aistis Šimaitis
Aistis Šimaitis
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Automatic verification of competitive stochastic systems
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Formal Methods in System Design 43, 61-92, 2013
2012013
PRISM-games: A model checker for stochastic multi-player games
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
1802013
On stochastic games with multiple objectives
T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
772013
Emergence and spread of SARS-CoV-2 lineage B. 1.620 with variant of concern-like mutations and deletions
G Dudas, SL Hong, BI Potter, S Calvignac-Spencer, FS Niatou-Singa, ...
Nature communications 12 (1), 5769, 2021
752021
Synthesis for multi-objective stochastic games: An application to autonomous urban driving
T Chen, M Kwiatkowska, A Simaitis, C Wiltsche
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
672013
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
342011
Automatic verification of competitive stochastic systems
A Simaitis
University of Oxford, 2014
242014
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
222012
Persistence of SARS-CoV-2-specific antibodies for 13 months after infection
I Kučinskaitė-Kodzė, M Simanavičius, A Šimaitis, A Žvirblienė
Viruses 13 (11), 2313, 2021
182021
Strategic analysis of trust models for user-centric networks
M Kwiatkowska, D Parker, A Simaitis
arXiv preprint arXiv:1303.0791, 2013
182013
Host selection through collective decision
F Saffre, A Simaitis
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (1), 1-16, 2012
122012
Solvency Markov decision processes with interest
T Brázdil, T Chen, V Forejt, P Novotný, A Simaitis
arXiv preprint arXiv:1310.3119, 2013
52013
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
Travel-driven emergence and spread of SARS-CoV-2 lineage B. 1.620 with multiple VOC-like mutations and deletions in Europe (preprint)
G Dudas, SL Hong, BI Potter, S Calvignac-Spencer, FS Niatou-Singa, ...
2021
Travel-driven emergence and spread of SARS-CoV-2 lineage B. 1.620 with multiple VOC-like mutations and deletions in Europe
G Dudas, SL Hong, BI Potter, S Calvignac-Spencer, FS Niatou-Singa, ...
2021
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
The system can't perform the operation now. Try again later.
Articles 1–18