Sign In
insight - RoboCertProb Property Specification
RoboCertProb: Property Specification for Probabilistic RoboChart Models
The author introduces RoboCertProb to specify quantitative properties of probabilistic robotic systems modeled in RoboChart, based on PCTL*. The approach involves giving a Markov semantics to RoboChart models and using PRISM for formal verification.
RoboCertProb: Property Specification for Probabilistic RoboChart Models
RoboCertProb allows quantitative property specification for probabilistic robotic systems in RoboChart models.
Products | Resources
© 2024 by Linnk AI