Surasak Phetmanee
Research title: Probabilistic Model Checking for Algorithmic Trading
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Research title: Probabilistic Model Checking for Algorithmic Trading
Phetmanee, S. , Sevegnani, M. and Andrei, O. (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)
Phetmanee, S. , Sevegnani, M. and Andrei, O. (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)