activity
20082025
most citedUPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

150 citations · 284 across the 24 of their papers we have counts for

collaborators
Showing cs.CEShow all

Nothing from them under that filter.

Their other years and fields are still on the left.