合成大致正确
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）]
欢迎加入QQ群-->： 979659372
