<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties"^^ . "In this paper, we consider a subclass of Probabilistic Duration Cal- culus formula called Simple Probabilistic Duration Calculus (SPDC) as a language for specifying dependability requirements for real-time systems, and address the two problems: to decide if a probabilistic timed automaton satisfies a SPDC formula, and to decide if there is a strategy to choose an execution of a given automaton that satisfies a SPDC formula. We prove that the both problems are decidable for a class of SPDC called probabilistic linear duration invariants, and provide a model checking algorithm for solving these problems."^^ . "2016-03-26" . . . . . . . . . . . . . . "Van Hung"^^ . "Dang"^^ . "Van Hung Dang"^^ . . "Zhang"^^ . "Miaomiao"^^ . "Zhang Miaomiao"^^ . . "Dinh Chinh"^^ . "Pham"^^ . "Dinh Chinh Pham"^^ . . . . "SW4PHD: the 2016 Scientific Workshop for PhD Students"^^ . . . . . "Hanoi"^^ . . . . . . "On Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties (PDF)"^^ . . . "PhamDinhChinh_conference_poster_5.pdf"^^ . . "HTML Summary of #1541 \n\nOn Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties\n\n" . "text/html" . . . "Information Technology (IT)"@en . .