Bookshelf of Conferences

Library

MASA-Safe-RL

Code

A co-maintained library for multi-agent and single-agent safe reinforcement learning, with common constraints, environments, and reusable research tooling.

Safe RLMulti-agentGymnasiumPython

Tool

Situation Calculus Synthesis

Code Paper

Automatically synthesises manufacturing process controllers from ConGolog resource models and situation calculus basic action theories.

Situation calculusConGologController synthesisManufacturing

By year

2026

Research code

Quantitative Reward Monitoring

Code

Reproducible code for quantitative reward monitors in reinforcement learning, synthesising temporally aware scalar feedback from formal specifications.

Reinforcement learningTemporal logicReward monitoringPython

2025

Library

MASA-Safe-RL

Code

A co-maintained library for multi-agent and single-agent safe reinforcement learning, with common constraints, environments, and reusable research tooling.

Safe RLMulti-agentGymnasiumPython

2023

Tool

Situation Calculus Synthesis

Code Paper

Automatically synthesises manufacturing process controllers from ConGolog resource models and situation calculus basic action theories.

Situation calculusConGologController synthesisManufacturing

2022

Library

Finite Element Data Exchange System

Code Paper

Octree-based mesh mapping software for finite element workflows, with parallel indexing and higher-accuracy interpolation strategies.

Finite elementsSpatial indexingC++Manufacturing

Tool

Process Controller Synthesis

Code Paper

Automatically synthesises manufacturing process plans from labelled transition system models of recipes and production resources.

LTSProcess planningController synthesisC++