Automatic Property Checking of Robotic Applications

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
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
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, (E-pub ahead of print) 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

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

The York Research Database

By the same authors

RoboChart: modelling and verification of the functional behaviour of robotic applications

From Formalised State Machines to Implementations of Robotic Controllers

Modelling and Verification of Timed Robotic Controllers

From Formalised State Machines to Implementations of Robotic Controllers

From formalised state machines to implementation of robotic controllers

Automatic Property Checking of Robotic Applications

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Research outputs

RoboTool

Discover related content