Skip to content

Learning to guide On-the-fly Controller Synthesis via Reinforcement Learning

Notifications You must be signed in to change notification settings

tdelgado00/Learning-Synthesis

Repository files navigation

This repository contains the implemantation of the learning algorithm for https://arxiv.org/abs/2210.05393.

RL agents are heuristics for the On-the-fly DCS algorithm implemented at MTSA.

This is a work in progress at Lafhis, University of Buenos Aires.

Installation

  1. Run the following command to install the required python modules.
 python -m pip install -r requirements.txt
  1. Download the mtsa.jar file from here and move it to the directory of this readme.

Running experiments

The experiments from the paper can be run with the following command, executing it from the repo's root directory.

python src/main.py --exp-path "my experiment"

All results are then stored at experiments/results/my experiment.

About

Learning to guide On-the-fly Controller Synthesis via Reinforcement Learning

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages