Publication | Closed Access

Robustness of temporal logic specifications for continuous-time signals

EngineeringAutomated ReasoningTemporal Logic SpecificationsVerificationFormal MethodsSystems EngineeringTemporal LogicTimed SystemFormal VerificationTemporal Database