Kai Weng Wong
Computational Theory and Mathematics · 2015
A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Computational Theory and Mathematics — 5 citations into it
Whom Kai Weng Wong trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Kai Weng Wong overall
Papers from Kai Weng Wong's perspective
Ordered by how strongly the researchers Kai Weng Wong trusts endorse each paper. Same corpus, a different order for every researcher.
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (IEEE Transactions on Automatic Control)
- Temporal-Logic-Based Reactive Mission and Motion Planning (IEEE Transactions on robotics)
- Symbolic planning and control of robot motion [Grand Challenges of Robotics] (IEEE robotics & automation magazine)
- Introduction to algorithms [2nd ed.]
- Supervisory control of hybrid systems (Proceedings of the IEEE)
- Maneuver-based motion planning for nonlinear systems with symmetries
- Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli (Intelligent Systems in Molecular Biology)
- The SPIN Model Checker - primer and reference manual
- Voronoi Diagrams and Delaunay Triangulations (Handbook of Discrete and Computational Geometry, 2nd Ed.)
- Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)