research
∙
01/03/2022
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
This contribution reports on the continued formalisation of an axiomatic...
share
research
∙
12/11/2021
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
We present a formalisation of finite Markov decision processes with rewa...
research
∙
10/03/2021
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
Collaboration across institutional boundaries is widespread and increasi...
research
∙
04/02/2021
An Evaluation of the Archive of Formal Proofs
The Archive of Formal Proofs (AFP) is an online repository of formal pro...
research
∙
01/11/2021
Object-Level Reasoning with Logics Encoded in HOL Light
We present a generic framework that facilitates object level reasoning w...
research
∙
08/15/2018
A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
The need for rigorous process composition is encountered in many situati...
research
∙
08/15/2018
Correct-by-construction Process Composition Using Classical Linear Logic Inference
The need for rigorous process composition is encountered in many situati...
research
∙
08/11/2018
The Boyer-Moore Waterfall Model Revisited
In this paper, we investigate the potential of the Boyer-Moore waterfall...
research
∙
03/07/2018
Correct by Construction Resource-based Process Composition
The need for rigorous process composition is encountered in many situati...
research
∙
09/22/2016