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 (1), 61-92, 2013
1712013
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
1602013
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
712013
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
602013
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
292011
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), 1-12, 2021
262021
Automatic verification of competitive stochastic systems
A Simaitis
University of Oxford, 2014
212014
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
202012
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, B Potter, S Calvignac-Spencer, FS Niatou-Singa, ...
MedRxiv, 2021
162021
Strategic analysis of trust models for user-centric networks
M Kwiatkowska, D Parker, A Simaitis
arXiv preprint arXiv:1303.0791, 2013
162013
Host selection through collective decision
F Saffre, A Simaitis
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (1), 1-16, 2012
122012
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
42021
Solvency Markov decision processes with interest
T Brázdil, T Chen, V Forejt, P Novotný, A Simaitis
arXiv preprint arXiv:1310.3119, 2013
42013
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
The system can't perform the operation now. Try again later.
Articles 1–17