Showing 63,861 - 63,864 results of 63,864 for search '(( 01 ((1 decrease) OR (a decrease)) ) OR ( 50 ((mean decrease) OR (nn decrease)) ))', query time: 1.00s Refine Results
  1. 63861
  2. 63862
  3. 63863
  4. 63864

    UPPAAL SMC model specification by Marc Souvannasouck (16475829)

    Published 2023
    “…</li> <li>The Light and Serious locations are marked as urgent, which in UPPAAL means that time can't progress in these states, leading to immediate transitions to other states.…”