Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins
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-83723-5_6
Publication URI: http://dx.doi.org/10.1007/978-3-030-83723-5_6
Type: Book Chapter
Book Title: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (2021)
Page Reference: 72-87
ISSN: 16113349 03029743