Abstract
This paper is dedicated with affection to Jan Peleska on the occasion of his 65th birthday. We discuss a unifying theory of uncertainty in robotics based on Hoare & He’s unifying theories of programming and Hehner’s probabilistic predicative programming. We start a long-term research agenda with a semantics for Prism and end with many questions.
| Original language | English |
|---|---|
| Title of host publication | Applicable Formal Methods for Safe Industrial Products |
| Publisher | Springer Science and Business Media Deutschland GmbH |
| Pages | 237-253 |
| Number of pages | 17 |
| ISBN (Electronic) | 9783031401329 |
| ISBN (Print) | 9783031401312 |
| DOIs | |
| Publication status | Published - 17 Aug 2023 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 14165 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Bibliographical note
Funding Information:Acknowledgements. This work has benefited from extensive discussions with Radu Calinescu, Ana Cavalcanti, Simon Foster, Rob Hierons, Peter Gorm Larsen, Zhiming Liu, Mohammad Mousavi, and Kangfeng Ye. The work is supported by (i) EPSRC EP/R025479/1 RoboTest: Systematic model-based testing and simulation of mobile autonomous robots; and (ii) EPSRC EP/V026801/2 UKRI Trustworthy Autonomous Systems Node in Verifiability.
Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.