暂无分享,去创建一个
[1] Tiziano Villa,et al. A Fully Implicit Algorithm for Exact State Minimization , 1994, 31st Design Automation Conference.
[2] Seymour Ginsburg,et al. On the Reduction of Superfluous States in a Sequential Machine , 1959, JACM.
[3] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[4] Fabio Somenzi,et al. Don't care sequences and the optimization of interacting finite state machines , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[5] Monty Newborn,et al. The Simplification of Sequential Machines with Input Restrictions , 1972, IEEE Transactions on Computers.
[6] Klaus Schneider,et al. Solving Games Using Incremental Induction , 2013, IFM.
[7] Input don't care sequences in FSM networks , 1993, ICCAD '93.
[8] Tiziano Villa,et al. Model matching for finite-state machines , 2001, IEEE Trans. Autom. Control..
[9] Robert K. Brayton,et al. Logic optimization of interacting components in synchronous digital systems , 1994 .
[10] Stephen H. Unger. Flow Table Simplification-Some Useful Aids , 1965, IEEE Trans. Electron. Comput..
[11] Multi-level logic optimization of FSM networks , 1995, ICCAD.
[12] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[13] Frederick C. Hennie,et al. Finite-state Models for Logical Machines , 1968 .
[14] Tiziano Villa,et al. Synthesis of Finite State Machines: Functional Optimization , 2010 .
[15] F. Joel Ferguson,et al. On state reduction of incompletely specified finite state machines , 2007, Comput. Electr. Eng..
[16] Jeffrey D. Ullman,et al. Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.
[17] Arlindo L. Oliveira,et al. A new algorithm for exact reduction of incompletely specified finite state machines , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[18] Stephen H. Unger,et al. Minimizing the Number of States in Incompletely Specified Sequential Switching Functions , 1959, IRE Trans. Electron. Comput..
[19] Claude Castelluccia,et al. Extending SAT Solvers to Cryptographic Problems , 2009, SAT.
[20] Robert K. Brayton,et al. The maximum set of permissible behaviors for FSM networks , 1993, ICCAD.
[21] FRANK R. MOORE,et al. On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata , 1971, IEEE Transactions on Computers.
[22] Jan Reineke,et al. MEMIN: SAT-based exact minimization of incompletely specified Mealy machines , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[23] Thomas Wilke,et al. Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.
[24] J. R. Büchi,et al. Solving sequential conditions by finite-state strategies , 1969 .
[25] Krishnendu Chatterjee,et al. Graph Games and Reactive Synthesis , 2018, Handbook of Model Checking.
[26] Tiziano Villa,et al. The Unknown Component Problem: Theory and Applications , 2014 .
[27] Bernd Finkbeiner,et al. Bounded synthesis , 2012, International Journal on Software Tools for Technology Transfer.
[28] Fabrizio Luccio,et al. A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential Networks , 1965, IEEE Trans. Electron. Comput..
[29] Fabio Somenzi,et al. Logic synthesis and verification algorithms , 1996 .
[30] Martina Seidl,et al. SAT-Based Synthesis Methods for Safety Specs , 2014, VMCAI.
[31] Tsutomu Sasao,et al. Logic Synthesis and Verification , 2013 .