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 | 208 | 2013 |
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 | 186 | 2013 |
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 | 85 | 2013 |
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 | 84 | 2021 |
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 | 69 | 2013 |
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 | 35 | 2011 |
Automatic verification of competitive stochastic systems A Simaitis University of Oxford, 2014 | 26 | 2014 |
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 | 24 | 2012 |
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 | 18 | 2021 |
Strategic analysis of trust models for user-centric networks M Kwiatkowska, D Parker, A Simaitis arXiv preprint arXiv:1303.0791, 2013 | 18 | 2013 |
Host selection through collective decision F Saffre, A Simaitis ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (1), 1-16, 2012 | 12 | 2012 |
Solvency Markov decision processes with interest T Brázdil, T Chen, V Forejt, P Novotný, A Simaitis arXiv preprint arXiv:1310.3119, 2013 | 5 | 2013 |
Heterogeneous beliefs in over-the-counter markets M De Kamps, D Ladley, A Simaitis Journal of Economic Dynamics and Control 41, 50-68, 2014 | 1 | 2014 |
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 | | |