Automatic Property Checking of Robotic Applications - Research Database, The University of York

By the same authors

RoboChart: modelling and verification of the functional behaviour of robotic applications
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, JAMES. C. P., 1 Oct 2019
Article in Software and Systems Modeling
Modelling and Verification of Timed Robotic Controllers
De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A., Woodcock, J. & Timmis, J., 6 Feb 2017.
Research output: Working paper
From formalised state machines to implementation of robotic controllers
Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
RoboTool
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016
Research output: Non-textual form › Software

Automatic Property Checking of Robotic Applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published copy (DOI)

10.1109/IROS.2017.8206238

Author(s)

Department/unit(s)

Publication details

Title of host publication	IEEE/RSJ International Conference on Intelligent Robots and Systems
Date	Published - 14 Dec 2017
Pages	3869-3876
Number of pages	8
Original language	English

Research outputs

RoboTool
Research output: Non-textual form › Software

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data