Synthesis Done Approximately Right
TeX Python Matlab Makefile
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
examples
latexdoc
matlab
sydar
tests
.gitignore
LICENSE
MANIFEST.in
README.md
script.m
setup.py
sydar-matlab.py

README.md

SYDAR: Synthesis Done Approximately Right

GitHub issues PyPI

Installation and usage

$ pip install sydar
$ sydar-matlab [input_file.miu] -o output.m

References

  • I. Papusha, J. Fu, U. Topcu, and R. M. Murray. "Automata Theory Meets Approximate Dynamic Programming: Optimal Control with Temporal Logic Constraints," IEEE Conference on Decision and Control (CDC), pp. 434–440, Las Vegas, NV, December 12–14, 2016. [pdf] [slides] [doi]