Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Attributed to:
RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-88701-8_28
Publication URI: http://dx.doi.org/10.1007/978-3-030-88701-8_28
Type: Book Chapter
Book Title: Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings (2021)
Page Reference: 465-482
ISSN: 1436-3798