Probabilistic Semantics for RoboChart A Weakest Completion Approach

Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2019) Probabilistic Semantics for RoboChart A Weakest Completion Approach. In: Ribeiro, Pedro and Sampaio, Augusto, (eds.) Unifying Theories of Programming:7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Lecture Notes in Computer Science . Springer

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Ribeiro, Pedro
  • Sampaio, Augusto
Keywords: RoboChart language,Robotic controllers,Statecharts,Probabilistic semantics,Relational calculus,Unifying Theories of Programming (UTP),Weakest completion semantics
Dates:
  • Accepted: 22 August 2019
  • Published: 4 November 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/M025756/1
THE ROYAL SOCIETY
IEC\NSFC\170319
Depositing User: Pure (York)
Date Deposited: 10 Sep 2019 11:30
Last Modified: 02 Apr 2025 23:33
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics