摘要： RoboCup 2018 https://arxiv.org/pdf/1809.05374.pdf used a proposed BO algorithm to trade-off between sim and real engineered cost function for bipedal 阅读全文

摘要： CoRL 2017 http://proceedings.mlr.press/v78/antonova17a/antonova17a.pdf imformed engineered deep kernel (1-dim) cost agnostic traj summaries for flexib 阅读全文

摘要： ICRA 2018 https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8461237 incorporating domain knowledge, with a focus on bipedal locomotion a sepera 阅读全文

摘要： JMLR 2019 https://www.jmlr.org/papers/volume20/18-225/18-225.pdf combine online and offline multi-task GP, kernel for multi-task 1 Introduction A/B: s 阅读全文

摘要： JMLR 2019 https://www.jmlr.org/papers/volume20/18-196/18-196.pdf utilizes simulation to learn structured feature transforms that map the original para 阅读全文

摘要： Proceedings of the IEEE 2016 https://ieeexplore.ieee.org/abstract/document/7352306 A review of BO, an optimization algorithm typically for "hyperparam 阅读全文

摘要： ICRA 2017 https://ieeexplore.ieee.org/abstract/document/7989186 parameters of policies Entropy Search, BO algorithm combine 2 sources: cheap but inacc 阅读全文

摘要： New Generation Computing 1986 https://www.doc.ic.ac.uk/~rak/papers/event%20calculus.pdf use formal logic to formalize the notion of time (Horn clause 阅读全文

摘要： 6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算？ A: 由于只考察整数和“整数倍”，故用不断复合加法表示乘法。 6. 阅读全文

摘要： 6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示：比如：用hyper-arc consistency能剪掉一些定义域，但是剪了之后的集合 阅读全文