Automatically Verifying Expressive Epistemic Properties of Programs (2023)
Attributed to:
Academic Centre of Excellence in Cyber Security Research - University of Surrey
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://openresearch.surrey.ac.uk/esploro/outputs/99723166602346?institution=44SUR_INST&skipUsageReporting=true&recordUsage=false
Type: Conference/Paper/Proceeding/Abstract
Volume: 37th AAAI Conference on Artificial Intelligence (AAAI-23)
Issue: -
ISSN: 11111111