Publication | Closed Access

Polytime model checking for timed probabilistic computation tree logic

EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal MethodsComputer ScienceModel CheckingTimed SystemFormal VerificationPolytime Model