Modelling and Verification of Timed Robotic Controllers

Pedro Fernando De Oliveira Salazar Ribeiro; A. Miyazawa; W. Li; A. L. C. Cavalcanti; J. Timmis

doi:10.1007/978-3-319-66845-1_2

Modelling and Verification of Timed Robotic Controllers

Pedro Fernando De Oliveira Salazar Ribeiro, A. Miyazawa, W. Li, A. L. C. Cavalcanti, J. Timmis

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

Original language	Undefined/Unknown
Title of host publication	Integrated Formal Methods
Editors	N. Polikarpova, S. Schneider
Publisher	Springer
Pages	18-33
Number of pages	16
ISBN (Electronic)	9783319668451
ISBN (Print)	9783319668444
DOIs	https://doi.org/10.1007/978-3-319-66845-1_2
Publication status	Published - 1 Sept 2017

Publication series

Name	Lecture Notes in Computer Science
Volume	10510
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Bibliographical note

© Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Access to Document

10.1007/978-3-319-66845-1_2

RMLCT17
© Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Accepted author manuscript, 1.23 MB

https://www-users.cs.york.ac.uk/~alcc/publications/papers/RMLCT17.pdf

Cite this

@inproceedings{fbbc3ed391d849b5a2691630d82efbac,

title = "Modelling and Verification of Timed Robotic Controllers",

author = "{De Oliveira Salazar Ribeiro}, {Pedro Fernando} and A. Miyazawa and W. Li and Cavalcanti, {A. L. C.} and J. Timmis",

note = "{\textcopyright} Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details",

year = "2017",

month = sep,

day = "1",

doi = "10.1007/978-3-319-66845-1_2",

language = "Undefined/Unknown",

isbn = "9783319668444",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "18--33",

editor = "N. Polikarpova and S. Schneider",

booktitle = "Integrated Formal Methods",

address = "Germany",

}

TY - GEN

T1 - Modelling and Verification of Timed Robotic Controllers

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Miyazawa, A.

AU - Li, W.

AU - Cavalcanti, A. L. C.

AU - Timmis, J.

N1 - © Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

PY - 2017/9/1

Y1 - 2017/9/1

U2 - 10.1007/978-3-319-66845-1_2

DO - 10.1007/978-3-319-66845-1_2

M3 - Conference contribution

SN - 9783319668444

T3 - Lecture Notes in Computer Science

SP - 18

EP - 33

BT - Integrated Formal Methods

A2 - Polikarpova, N.

A2 - Schneider, S.

PB - Springer

ER -