Browsing University of Waterloo by Subject "temporal logic"
Now showing items 1-3 of 3
-
Extracting Counterexamples from Transitive-Closure-Based Model Checking
(IEEE, 2019)We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ... -
Kinodynamic Planning with μ-Calculus Specifications
(University of Waterloo, 2018-09-19)Motion planning problems involve determining appropriate control inputs to guide a system towards a desired endpoint. Sampling-based motion planning was developed as a technique for discretizing the state space of systems ... -
RuSTL: Runtime Verification using Signal Temporal Logic
(University of Waterloo, 2019-04-23)A system is classified to be a safety-critical system if its failure and/or malfunction of these devices may result in severe injuries or in extreme cases loss of human life. Such systems are all around us, examples of ...