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]