An MTBDD-based implementation of forward reachability for probabilistic timed automata

Mathematics

• Binary Decision Diagram 100%
• Probabilistic Automata 90%
• Timed Automata 88%
• Reachability 71%
• Timing 59%
• Decision Diagrams 51%
• Encoding 33%
• Symbolic Model Checking 27%
• Model Checking 18%
• Experimental Results 16%
• Model 10%

Engineering & Materials Science

• Binary decision diagrams 89%
• Model checking 35%
• Statistical Models 15%