合成大致正确
sydar的Python项目详细描述
>Sydar:合成大致近似于
###安装和使用 ` $ pip install sydar $ sydar-matlab [input_file.miu] -o output.m `
###参考文献 *I.帕普沙,J.傅,U.托普库和R.M.默里。自动机理论满足近似动态规划:具有时态逻辑约束的最优控制,“^ {EM1}$IEEE决策与控制会议(CDC)< EEM >,第434页-第440页,拉斯维加斯,NV,12月12日至14日,2016。 [[pdf](http://ivanpapusha.com/pdf/adpltl_cdc2016.pdf)] [[幻灯片](http://ivanpapusha.com/pdf/adpltl_cdc2016_slides.pdf)] [[doi](http://dx.doi.org/10.1109/CDC.2016.7798307)]