Publication | Open Access

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

Continuous ValuationsFormal SpecificationEngineeringAutomated ReasoningTemporal Logic SpecificationsRobustness MeasuresVerificationDynamic LogicFormal MethodsSystems EngineeringComputer ScienceTemporal LogicTimed SystemFormal VerificationSystem Specification