Temporal Logic Planning toolbox

Automated Controller Synthesis

Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"

Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020

[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.

My master's thesis on Machine Translation

Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).

A HL Symbolic Execution Engine Prototype for Reachability