Automatically Verifying Expressive Epistemic Properties of Programs (2023)

First Author: F. Belardinelli
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