Rajagopalan Devanathan

Learn More
Abstruct-A unifying temporal logic framework is proposed for modelling, specifying, and analyzing mechanical assembly sequences. Propositional temporal logic of Manna and Pneuli is the assertion language used for representing and analyzing all constraints or conditions that assembly sequences must satisfy. The generalization of the existing representations(More)
  • 1