Analysing RoboChart with probabilities

Conserva Filho, M. S., Marinho, R., Mota, A. et al. (1 more author) (2018) Analysing RoboChart with probabilities. In: Massoni, Tiago and Mousavi, Mohammad Reza, (eds.) Formal Methods:Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. 21st Brazilian Symposium on Formal Methods, SBMF 2018, 26-30 Nov 2018 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , BRA , pp. 198-214.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © Springer Nature Switzerland AG 2018
Keywords: CSP,PRISM,Probabilistic analysis,Robotic systems,Theoretical Computer Science,Computer Science
Dates:
  • Published: 1 January 2018
  • Published (online): 24 October 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 29 Jul 2019 16:00
Last Modified: 24 Oct 2021 10:45
Published Version: https://doi.org/10.1007/978-3-030-03044-5_13
Status: Published online
Publisher: Springer-Verlag
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-030-03044-5_13
Related URLs:

Download

Filename: analysing_robochart_with_probabilities_copy.pdf

Description: analysing-robochart-with-probabilities copy

Share / Export

Statistics