We propose a temporal logic based on structures divided into several layers of linear “time scales” and give a sound and complete derivation system. The logic is applied to the formulation and verification of assertions about sequential recursive programs.
Additive Manufacturing Path Generation for Robot Manipulators Based on CAD Models
