Items where Author is "Liu, J."

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

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)