research
∙
08/23/2023
A Frame Stack Semantics for Sequential Core Erlang
We present a small-step, frame stack style, semantics for sequential Cor...
share
research
∙
11/21/2022
Refactoring = Substitution + Rewriting
We present an approach to describing refactorings that abstracts away fr...
research
∙
08/30/2022
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions
We aim to reason about the correctness of behaviour-preserving transform...
research
∙
08/27/2021
Identification of Vehicle Dynamics Parameters Using Simulation-based Inference
Identifying tire and vehicle parameters is an essential step in designin...
research
∙
07/05/2021
Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision
Interconnected road lanes are a central concept for navigating urban roa...
research
∙
04/23/2021
Probabilistic Rainfall Estimation from Automotive Lidar
Robust sensing and perception in adverse weather conditions remains one ...
research
∙
11/20/2020
A Comparison of Big-step Semantics Definition Styles
Formal semantics provides rigorous, mathematically precise definitions o...
research
∙
10/11/2020
Autonomous Parking by Successive Convexification and Compound State Triggers
In this paper, we propose an algorithm for optimal generation of nonholo...
research
∙
05/24/2020
A Proof Assistant Based Formalisation of Core Erlang
Our research is part of a wider project that aims to investigate and rea...
research
∙
05/11/2018