Che Liu
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2011
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Che Liu trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Che Liu's perspective
Ordered by how strongly the researchers Che Liu trusts endorse each paper. Same corpus, a different order for every researcher.
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
- Simulation and the Monte Carlo method
- Automatic Nonuniform Random Variate Generation
- Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator
- Reinforcement Learning: A Survey
- Statistical Pattern Recognition
- Sample-based non-uniform random variate generation
- Learning Kernel Classifiers: Theory and Algorithms
- Feature Selection via Concave Minimization and Support Vector Machines
- Random number generation and Quasi-Monte Carlo methods
Their papers
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (2011) — 486 citations