Andrew Williams

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
AI For Global Climate Cooperation 2023 Competition Proceedings.
CoRR, 2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022
Engaging clinicians early during the development of a graphical user display of an intelligent alerting system at the bedside.
Int. J. Medical Informatics, 2022

AI for Global Climate Cooperation: Modeling Global Climate Negotiations, Agreements, and Long-Term Cooperation in RICE-N.
CoRR, 2022

(Private)-Retroactive Carbon Pricing [(P)ReCaP]: A Market-based Approach for Climate Finance and Risk Assessment.
CoRR, 2022

2021
Engaging Older Clients With Exercise Physiology Software: Focussing on User-Prioritised Needs.
Int. J. Technol. Hum. Interact., 2021


2020
COVI-AgentSim: an Agent-based Model for Evaluating Methods of Digital Contact Tracing.
CoRR, 2020


  Loading...