Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. / Cavalcanti, Ana.

Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. ed. / Alexander Raschke; Dominique Méry; Frank Houdek. Springer, 2020. p. 3-5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12071 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Cavalcanti, A 2020, Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. in A Raschke, D Méry & F Houdek (eds), Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12071 LNCS, Springer, pp. 3-5, 7th International Conference on Rigorous State-Based Methods, ABZ 2020, Ulm, Germany, 27/05/20. https://doi.org/10.1007/978-3-030-48077-6_1

APA

Cavalcanti, A. (2020). Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. In A. Raschke, D. Méry, & F. Houdek (Eds.), Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings (pp. 3-5). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12071 LNCS). Springer. https://doi.org/10.1007/978-3-030-48077-6_1

Vancouver

Cavalcanti A. Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. In Raschke A, Méry D, Houdek F, editors, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Springer. 2020. p. 3-5. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-48077-6_1

Author

Cavalcanti, Ana. / Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. editor / Alexander Raschke ; Dominique Méry ; Frank Houdek. Springer, 2020. pp. 3-5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex - Download

@inproceedings{0440e4bfb9834676a1d1bc9fd4b7be12,
title = "Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology",
abstract = "The RoboStar framework supports model-based engineering of robotic applications.",
author = "Ana Cavalcanti",
note = "Funding Information: Acknowledgements. The work mentioned is a collaboration with colleagues at the RoboStar group, in particular, Alvaro Miyazawa and Sharar Ahmadi. The author{\textquoteright}s work is funded by the Royal Academy of Engineering grant CiET1718/45, and UK EPSRC grants EP/M025756/1 and EP/R025479/1. No new primary data was created as part of the study reported here. ; 7th International Conference on Rigorous State-Based Methods, ABZ 2020 ; Conference date: 27-05-2020 Through 29-05-2020",
year = "2020",
month = may,
day = "22",
doi = "10.1007/978-3-030-48077-6_1",
language = "English",
isbn = "9783030480769",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "3--5",
editor = "Alexander Raschke and Dominique M{\'e}ry and Frank Houdek",
booktitle = "Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

AU - Cavalcanti, Ana

N1 - Funding Information: Acknowledgements. The work mentioned is a collaboration with colleagues at the RoboStar group, in particular, Alvaro Miyazawa and Sharar Ahmadi. The author’s work is funded by the Royal Academy of Engineering grant CiET1718/45, and UK EPSRC grants EP/M025756/1 and EP/R025479/1. No new primary data was created as part of the study reported here.

PY - 2020/5/22

Y1 - 2020/5/22

N2 - The RoboStar framework supports model-based engineering of robotic applications.

AB - The RoboStar framework supports model-based engineering of robotic applications.

UR - http://www.scopus.com/inward/record.url?scp=85086067398&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-48077-6_1

DO - 10.1007/978-3-030-48077-6_1

M3 - Conference contribution

AN - SCOPUS:85086067398

SN - 9783030480769

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 5

BT - Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings

A2 - Raschke, Alexander

A2 - Méry, Dominique

A2 - Houdek, Frank

PB - Springer

T2 - 7th International Conference on Rigorous State-Based Methods, ABZ 2020

Y2 - 27 May 2020 through 29 May 2020

ER -