暂无分享,去创建一个
[1] Antoine Girard,et al. Controller synthesis for safety and reachability via approximate bisimulation , 2010, Autom..
[2] Antoine Girard,et al. CoSyMA: a tool for controller synthesis using multi-scale abstractions , 2013, HSCC '13.
[3] Peter A. Whigham,et al. Grammatically-based Genetic Programming , 1995 .
[4] Manuel Mazo,et al. PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.
[5] Richard Rudell. Dynamic variable ordering for ordered binary decision diagrams , 1993, ICCAD.
[6] Manuel Mazo,et al. Specification-guided controller synthesis for linear systems and safe linear-time temporal logic , 2013, HSCC '13.
[7] Xin-She Yang,et al. Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.
[8] Nikolaus Hansen,et al. Completely Derandomized Self-Adaptation in Evolution Strategies , 2001, Evolutionary Computation.
[9] V. Staudt. Compact representation of mathematical functions for control applications by piecewise linear approximations , 1998 .
[10] John R. Koza,et al. Genetic programming as a means for programming computers by natural selection , 1994 .
[11] Vasek Chvátal,et al. A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..
[12] Ming Li,et al. An Introduction to Kolmogorov Complexity and Its Applications , 2019, Texts in Computer Science.
[13] Raymond Ros,et al. A Simple Modification in CMA-ES Achieving Linear Time and Space Complexity , 2008, PPSN.
[14] Manuel Mazo,et al. Formal Controller Synthesis via Genetic Programming , 2017 .
[15] R. I. Bahar,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[16] Gunther Reissig,et al. Feedback Refinement Relations for the Synthesis of Symbolic Controllers , 2015, IEEE Transactions on Automatic Control.
[17] Antoine Girard,et al. Low-Complexity Switching Controllers for Safety using Symbolic Models , 2012, ADHS.
[18] Bernd Becker,et al. Solving the Multiple Variable Order Problem for Binary Decision Diagrams by Use of Dynamic Reordering Techniques , 1999 .
[19] Hadas Kress-Gazit,et al. LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[20] Ufuk Topcu,et al. TuLiP: a software toolbox for receding horizon temporal logic planning , 2011, HSCC '11.
[21] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[22] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[23] Manuel Mazo,et al. Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.
[24] Beate Bollig,et al. Improving the Variable Ordering of OBDDs Is NP-Complete , 1996, IEEE Trans. Computers.
[25] Gary Montague,et al. Genetic programming: an introduction and survey of applications , 1997 .
[26] Marta Z. Kwiatkowska,et al. Symmetry Reduction for Probabilistic Model Checking , 2006, CAV.
[27] Ufuk Topcu,et al. Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.
[28] John R. Koza,et al. Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.
[29] Majid Zamani,et al. SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.