Publication | Open Access

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Decision ProcedureEngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationComputer ScienceTemporal LogicModel CheckingTimed SystemLow LevelsFormal VerificationPolynomial Time Hierarchy