Statistics of Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics

Contact ORBi UMONS