Items where Author is "Liu, J."

Article

Lubek, I., Lee, H. A., Kros, S., Wong, M. L., van Merode, T., Liu, J., McCreanor, T., Idema, Roel and Campbell, C. (2013) HIV/AIDS, beersellers and critical community health psychology in Cambodia: a case study. Journal of Health Psychology, N/A (N/A). N/A-N/A. ISSN 1359-1053 (In Press)

Book Chapter, Section or Conference Proceeding

Montana, F.J., Liu, J. and DODD, Tony (2017) Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications. In: ritical Systems: Formal Methods and Automated Verification. Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017,. Lecture Notes in Computer Science, 10471 . Springer Verlag, Turin, Italy. 18-20 September 2017, pp. 150-164. ISBN 9783319671123

Montana, F.J., Liu, J. and DODD, Tony (2017) Sampling-based reactive motion planning with temporal logic constraints and imperfect state information. In: Critical Systems: Formal Methods and Automated Verification. AVoCS 2017, FMICS 2017. Lecture Notes in Computer Science, 10471 . Springer Verlag, Turin, Italy, pp. 134-149. ISBN 9783319671123

Ordonez, P., Mills, A.R., DODD, Tony and Liu, J. (2017) Formal Verification of a Gain Scheduling Control Scheme. In: 2017 25th Mediterranean Conference on Control and Automation (MED). IEEE, Valletta, Malta. 3-6 July 2017, pp. 259-264. ISBN 978-1-5090-4533-4

Montana, F.J., Liu, J. and DODD, Tony (2016) Sampling-based stochastic optimal control with metric interval temporal logic specifications. In: 2016 IEEE Conference on Control Applications (CCA), 19-22 September 2016. IEEE, Buenos Aires, Argentina. ISBN 978-1-5090-0755-4