Search Results for author:
Found 5 papers, 3 papers with code
Towards Goal-Oriented Agents for Evolving Problems Observed via Conversation
The objective of this work is to train a chatbot capable of solving evolving problems through conversing with a user about a problem the chatbot cannot directly observe.
Identification of Vehicle Dynamics Parameters Using Simulation-based Inference
Identifying tire and vehicle parameters is an essential step in designing control and planning algorithms for autonomous vehicles.
Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision
A formal road lane network model is presented and proves that any structured road scene can be represented by a directed acyclic graph of at most depth three while retaining the notion of intersection regions, and that this is the most compressed representation.
Probabilistic Rainfall Estimation from Automotive Lidar
Prior work has established that rainfall rate is a useful measure for the adversity of atmospheric weather conditions.
A Proof Assistant Based Formalisation of Core Erlang
Our research is part of a wider project that aims to investigate and reason about the correctness of scheme-based source code transformations of Erlang programs.
Programming Languages
