u-t-autonomous/sydar - Githubissues

u-t-autonomous / sydar

Synthesis Done Approximately Right

Other

2 stars 1 forks source link

readme

SYDAR: Synthesis Done Approximately Right

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]