Publication | Closed Access

On temporal logic constraint solving for analyzing numerical data time series

Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningFormal MethodsTemporal Logic ConstraintTemporal DataComputer ScienceTemporal LogicConstraint ProgrammingFormal VerificationData ModelingOperations Research