(Expand for video and bib)
Journal Articles
Kai Weng Wong, Ruediger Ehlers, Hadas Kress-Gazit. Resilient, Provably-correct, High-level Robot Behaviors. IEEE Transactions on Robotics (T-RO). PP. 1-17. 10.1109/TRO.2018.2830353. 2018.
@article{article,
author = {Kai Weng Wong, Rudiger Ehlers, and Hadas Kress-Gazit},
year = {2018},
month = {06},
pages = {1-17},
title = {Resilient, Provably-Correct, and High-Level Robot Behaviors},
volume = {PP},
booktitle = {IEEE Transactions on Robotics}
}
Kai Weng Wong, Hadas Kress-Gazit, Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers. Journal of Software Engineering for Robotics (JOSER). 2017.
@article{article,
author = {Kai Weng Wong and Hadas Kress-Gazit},
year = {2017},
month = {12},
title = {Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers},
volume = {8},
booktitle = {Journal of Software Engineering for Robotics (JOSER)}
}
Conference Proceedings
Kai Weng Wong, Hadas Kress-Gazit, From High-level Task Specification to Robot Operating System (ROS) Implementation. IEEE International Conference on Robotic Computing (IRC2017). Taichung, Taiwan. 2017.
@inproceedings{WongK17,
author = {Kai Weng Wong and Hadas Kress{-}Gazit},
title = {From High-Level Task Specification to Robot Operating System {(ROS)} Implementation},
booktitle = {First {IEEE} International Conference on Robotic Computing, {IRC} 2017, Taichung, Taiwan, April 10-12, 2017},
pages = {188--195},
year = {2017},
url = {https://doi.org/10.1109/IRC.2017.18},
doi = {10.1109/IRC.2017.18},
}
Kai Weng Wong, Hadas Kress-Gazit, Needed-based Coordination for Decentralized High-level Robot Control. IEEE International Conference on Intelligent Robots and Systems (IROS2016). Daejeon, Korea. 2016.
@INPROCEEDINGS{Wong-IROS-16,
AUTHOR = {Kai Weng Wong and Hadas Kress-Gazit},
TITLE = {Need-Based Coordination for Decentralized High-Level Robot Control},
BOOKTITLE = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
YEAR = {2016},
ADDRESS = {Daejeon, Korea},
MONTH = {October}
}
Ankur Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus, Robot Creation from Functional Specifications. The International Symposium on Robotics Research (ISRR 2015). Sestri Levante, Italy. 2015.
@INPROCEEDINGS{Metha-ISRR-15,
AUTHOR = {Ankur Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus},
TITLE = {Robot Creation from Functional Specifications},
BOOKTITLE = {The International Symposium on Robotics Research (ISRR)},
YEAR = {2015},
ADDRESS = {Sestri Levante, Italy},
MONTH = {September}
}
Kai Weng Wong, Hadas Kress-Gazit, Let’s Talk: Autonomous Conflict Resolution for Robots Carrying out Individual High-level Tasks in a Shared Workspace.. IEEE International Conference on Robotics and Automation (ICRA2015) Seattle, WA, USA. 2015
@INPROCEEDINGS{Metha-ISRR-15,
AUTHOR = {Ankur Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus},
TITLE = {Robot Creation from Functional Specifications},
BOOKTITLE = {The International Symposium on Robotics Research (ISRR)},
YEAR = {2015},
ADDRESS = {Sestri Levante, Italy},
MONTH = {September}
}
Kai Weng Wong, Ruediger Ehlers, Hadas Kress-Gazit, Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems Conference (RSS14), IEEE. Berkeley, CA, USA. 2014.
@INPROCEEDINGS{Wong-RSS-14,
AUTHOR = {Kai Weng Wong AND Rüdiger Ehlers AND Hadas Kress-Gazit},
TITLE = {Correct High-level Robot Behavior in Environments with Unexpected Events},
BOOKTITLE = {Proceedings of Robotics: Science and Systems},
YEAR = {2014},
ADDRESS = {Berkeley, USA},
MONTH = {July}
}
Conference Video Submission
Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit, Provably-correct robot control with LTLMoP, OMPL and ROS. In Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on, pp. 2073-2073. IEEE, Tokyo, Japan. 2013.
@inproceedings{DBLP:conf/iros/WongFK13,
author = {Kai Weng Wong and Cameron Finucane and Hadas Kress-Gazit},
title = {Provably-correct robot control with LTLMoP, OMPL and ROS},
booktitle = {IROS},
year = {2013},
pages = {2073},
ee = {http://dx.doi.org/10.1109/IROS.2013.6696636},
}