ltlparse (npm): Verify ROS states using LTL expressions
Keywords: simulation|ltl|parsing|verification|safety|logic|expressions|logs