42 citations · 206 across the 16 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023★ 2 cited
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Kangfeng Ye, Jim Woodcock, Simon Foster
Probabilistic programming combines general computer programming, statistical inference, and formal semantics to help systems make decisions when facing uncertainty. Probabilistic p…
cs.LO2023★ 6 cited
Formally Verified Animation for RoboChart using Interaction Trees
Kangfeng Ye, Simon Foster, Jim Woodcock
RoboChart is a core notation in the RoboStar framework. It is a timed and probabilistic domain-specific and state machine-based language for robotics. RoboChart supports shared var…
cs.LO2023
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
Simon Foster, Burkhart Wolff
Formal verification of cyber-physical and robotic systems requires that we can accurately model physical quantities that exist in the real-world. The use of explicit units in such…