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 , 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
Dates:
  • Accepted: 28 August 2018
  • Published (online): 24 October 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
FunderGrant number
EPSRCEP/M025756/1
Depositing User: Pure (York)
Date Deposited: 29 Jul 2019 16:00
Last Modified: 02 Dec 2022 01:14
Published Version: https://doi.org/10.1007/978-3-030-03044-5_13
Status: Published online
Publisher: Springer
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