Showing 12,661 - 12,664 results of 12,664 for search '(( 50 ((ns decrease) OR (nn decrease)) ) OR ( 5 ((nm decrease) OR (mean decrease)) ))', query time: 0.40s Refine Results
  1. 12661
  2. 12662
  3. 12663

    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.…”
  4. 12664